From 369c32e1e50e922e173c4b2f6ee6340a139cae17 Mon Sep 17 00:00:00 2001
From: Miguel Young de la Sota <mcyoung@mit.edu>
Date: Sat, 24 Feb 2024 01:57:58 -0500
Subject: [PATCH] chore: Change how Miri is invoked to eliminate false
 positives

---
 .github/workflows/rust.yml | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
index 62d9667..e13be64 100644
--- 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
\ No newline at end of file
+      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
\ No newline at end of file