Merge pull request #411 from RalfJung/miri

run Miri tests on CI
rust-lang · Apr 6, 2024 · 48d411b · 48d411b
2 parents 53fe1a3 + 0d6e714
commit 48d411b
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -273,3 +273,15 @@ jobs:
         run: |
           echo "Found AVX features: $CPU_FEATURE"
           RUSTFLAGS="-Dwarnings -Ctarget-feature=$CPU_FEATURE" cargo test --all-targets --no-default-features ${{ matrix.features }}
+
+  miri:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+      - name: Setup Rust
+        run: |
+          rustup update nightly --no-self-update
+          rustup default nightly
+          rustup component add miri rust-src
+      - name: Test (Miri)
+        run: cargo miri test