Add Miri workflow.

gendx · Sep 17, 2024 · b5fb731 · b5fb731
1 parent 1d31a27
commit b5fb731
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/.github/workflows/miri.yml b/.github/workflows/miri.yml
@@ -0,0 +1,13 @@
+on: [push, pull_request]
+name: Miri tests
+jobs:
+  miri:
+    runs-on: ubuntu-latest
+    env:
+      RUSTFLAGS: "-D warnings"
+    steps:
+      - uses: actions/checkout@v4
+      - uses: dtolnay/rust-toolchain@nightly
+
+      - name: Run miri tests (default features)
+        run: cargo miri test --all