only run miri on tests with "miri" in the name

boa-dev · Nov 22, 2022 · 323eca2 · 323eca2
1 parent 718aa77
commit 323eca2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -70,7 +70,7 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - uses: dtolnay/rust-toolchain@miri
-      - run: cargo miri test
+      - run: cargo miri test miri
         env:
           MIRIFLAGS: -Zmiri-strict-provenance