Add miri checks (#650)

deutsche-nationalbibliothek · Jul 10, 2023 · 45b054a · 45b054a
1 parent 31fce16
commit 45b054a
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -327,6 +327,21 @@ jobs:
           command: check
           arguments: --workspace
 
+  miri:
+    name: miri
+    runs-on: ubuntu-latest
+    needs: test
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v3
+    - name: Install Rust
+      uses: dtolnay/rust-toolchain@miri
+    - run: cargo miri test --workspace --lib --verbose
+      env:
+        MIRIFLAGS: -Zmiri-strict-provenance
+    - run: cargo miri test --workspace --doc --verbose
+      env:
+        MIRIFLAGS: -Zmiri-strict-provenance
 
   book:
     if: ${{ github.event_name == 'push' || !github.event.pull_request.draft }}
@@ -365,8 +380,10 @@ jobs:
       - check
       - clippy
       - cross
+      - deny
       - fmt
       - fuzz
+      - miri
       - test
       - udeps
       - upgrades