chore: Change how Miri is invoked to eliminate false positives

mcy · Feb 24, 2024 · 369c32e · 369c32e
1 parent dde8c1c
commit 369c32e
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -46,4 +46,11 @@ jobs:
       run: rustup +$NIGHTLY component add miri
 
     - name: Run tests under Miri
-      run: cargo +$NIGHTLY miri test
+      run: cargo +$NIGHTLY miri test --exclude ilex
+
+    # Most of ilex's tests are extremely slow under Miri.
+    # The LLVM syntax test alone takes 10 minutes or so on a GH runner.
+    - name: Run some `ilex` tests under Miri
+      run: |
+        cargo +$NIGHTLY miri test -p ilex --lib
+        cargo +$NIGHTLY miri test -p ilex --test greedy