ci: add clippy and miri runs

fooker · Oct 14, 2024 · e0c3ec7 · e0c3ec7
1 parent 13b6fe4
commit e0c3ec7
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/.github/workflows/default.yml b/.github/workflows/default.yml
@@ -68,6 +68,11 @@ jobs:
           nix develop --command \
               cargo fmt --all -- --check
 
+      - name: Check Clippy
+        run: |
+          nix develop --command \
+              cargo clippy
+
       - name: Audit rust dependencies
         run: |
           nix develop --command \
@@ -109,6 +114,13 @@ jobs:
           nix develop --command \
               cargo test --all --verbose
 
+      - name: Run miri
+        run: |
+          nix develop --command \
+              cargo miri test
+        env:
+          MIRIFLAGS: -Zmiri-strict-provenance
+
   package:
     runs-on: ubuntu-latest
     needs: [ "check" ]