fix miri not compatible with project rust version

DataDog · Aug 16, 2024 · 395ef72 · 395ef72
1 parent 614feba
commit 395ef72
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
@@ -14,10 +14,9 @@ jobs:
         set -e
         rustup set profile minimal
         rustup toolchain install nightly --component miri 
-        rustup default nightly
     - uses: taiki-e/install-action@v2
       with: 
         tool: [email protected]
-    - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo miri nextest run
+    - run: MIRIFLAGS="-Zmiri-disable-isolation" cargo +nightly miri nextest run
     # We need to disable isolation because 
     # "unsupported operation: `clock_gettime` with `REALTIME` clocks not available when isolation is enabled"