chore(ci): run miri tests

hyperium · Nov 13, 2023 · 60c9b46 · 60c9b46
1 parent 0a9c8ad
commit 60c9b46
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -79,3 +79,19 @@ jobs:
 
       - name: Check
         run: cargo check --target wasm32-unknown-unknown
+
+  miri:
+    name: Miri
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Install Rust
+        uses: dtolnay/rust-toolchain@nightly
+        with:
+          components: miri
+
+      - name: Test
+        run: MIRIFLAGS="-Zmiri-disable-isolation -Zmiri-ignore-leaks" cargo miri test