Rollup merge of #104267 - notriddle:notriddle/checkbox, r=GuillaumeGomez

[rust.git] / src / tools / miri / .gitpod.yml

diff --git a/src/tools/miri/.gitpod.yml b/src/tools/miri/.gitpod.yml
index 36bd991740a827a649685e75dba0d3fb67dcfca2..724cf26df2b9b3f85a26b45e7ea8144233dfea05 100644 (file)
--- a/src/tools/miri/.gitpod.yml
+++ b/src/tools/miri/.gitpod.yml
@@ -4,6 +4,6 @@ tasks:
   - before: echo "..."
     init: |
       cargo install rustup-toolchain-install-master
-      ./rustup-toolchain
+      ./miri toolchain
       ./miri build
-    command: echo "Run tests with ./miri test"
\ No newline at end of file
+    command: echo "Run tests with ./miri test"