Skip our miri-playground wrapper script

Author: shepmaster

compiler/base/Dockerfile

@@ -111,6 +111,7 @@ RUN rm src/*.rs
 COPY --from=build-orchestrator /playground/.cargo/bin/worker /playground/.cargo/bin/worker
 COPY --from=wasm-tools /playground/.cargo/bin/wasm-tools /playground/.cargo/bin
 COPY --chown=playground cargo-wasm /playground/.cargo/bin
+# `cargo-miri-playground` is vestigial and can be removed after a while
 COPY --chown=playground cargo-miri-playground /playground/.cargo/bin
 
 ENTRYPOINT ["/playground/tools/entrypoint.sh"]

compiler/base/orchestrator/src/coordinator.rs

@@ -680,12 +680,22 @@ impl LowerRequest for MiriRequest {
             miriflags.push("-Zmiri-tree-borrows");
         }
 
+        miriflags.push("-Zmiri-disable-isolation");
+
         let miriflags = miriflags.join(" ");
 
         ExecuteCommandRequest {
             cmd: "cargo".to_owned(),
-            args: vec!["miri-playground".to_owned()],
-            envs: HashMap::from_iter([("MIRIFLAGS".to_owned(), miriflags)]),
+            args: ["miri", "run"].map(Into::into).into(),
+            envs: HashMap::from_iter([
+                ("MIRIFLAGS".to_owned(), miriflags),
+                // Be sure that `cargo miri` will not build a new
+                // sysroot. Creating a sysroot takes a while and Miri
+                // will build one by default if it's missing. If
+                // `MIRI_SYSROOT` is set and the sysroot is missing,
+                // it will error instead.
+                ("MIRI_SYSROOT".to_owned(), "/playground/.cache/miri".to_owned()),
+            ]),
             cwd: None,
         }
     }
@@ -3963,8 +3973,7 @@ mod tests {
     #[tokio::test]
     #[snafu::report]
     async fn miri() -> Result<()> {
-        // cargo-miri-playground only exists inside the container
-        let coordinator = new_coordinator_docker();
+        let coordinator = new_coordinator();
 
         let req = MiriRequest {
             code: r#"