ci: add miri job

dtolnay · web-flow · commit 77105cf0225f · 2022-09-03T13:51:41.000-04:00
This is particularly useful given some of the recent bugs caught by Miri. PR #127
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -101,3 +101,15 @@ jobs:
       working-directory: ./bench
       run: |
         cargo fmt -- --check
+
+  miri:
+    name: miri
+    runs-on: ubuntu-22.04
+    steps:
+    - name: Checkout repository
+      uses: actions/checkout@v3
+    - name: Install Rust
+      uses: dtolnay/rust-toolchain@miri
+    - run: cargo miri test --lib --verbose
+      env:
+        MIRIFLAGS: -Zmiri-strict-provenance
