Add Miri tests to CI

Miri is the unsound/undefined behavior checker for unsafe Rust.
rusticata · May 6, 2024 · be5e32e · be5e32e
1 parent 22cf762
commit be5e32e
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/rust.yml b/.github/workflows/rust.yml
@@ -63,6 +63,19 @@ jobs:
       - run: cargo clippy --all-features -- -D warnings
       - run: cargo clippy --no-default-features -- -D warnings
 
+  miri:
+    name: Miri
+    runs-on: ubuntu-latest
+    env:
+      # Needed since the tests interact with the filesystem
+      MIRIFLAGS: "-Zmiri-disable-isolation"
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@nightly
+        with:
+          components: miri
+      - run: cargo miri test --all-features
+
   doc:
     name: Build documentation
     runs-on: ubuntu-latest