pub fn enable_gpu(args: &[String], setup: &dyn SetupRefresh)Expand description
lean-ctx enable-gpu. setup is the refresh run after the binary is replaced.
pub fn enable_gpu(args: &[String], setup: &dyn SetupRefresh)lean-ctx enable-gpu. setup is the refresh run after the binary is replaced.