run a few tests under miri

KillingSpark · Nov 28, 2024 · d852020 · d852020
1 parent db68f68
commit d852020
Showing 1 changed file with 7 additions and 4 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -20,8 +20,8 @@ jobs:
         - run: cargo hack clippy --feature-powerset --exclude-features rustc-dep-of-std
         - run: cargo hack test --feature-powerset --exclude-features rustc-dep-of-std
 
-  clippy-nightly:
-    name: clippy nightly
+  nightly-stuff:
+    name: nightly clippy, format and miri tests
     runs-on: ubuntu-latest
     steps:
       - name: Checkout sources
@@ -30,8 +30,11 @@ jobs:
       - name: Install nightly toolchain
         uses: dtolnay/rust-toolchain@nightly
         with:
-          components: rustfmt, clippy
+          components: rustfmt, clippy, miri
 
       - run: cargo +nightly fmt --all -- --check
       - run: cargo +nightly clippy --no-default-features -- -D warnings
-      - run: cargo +nightly clippy -- -D warnings
+      - run: cargo +nightly clippy -- -D warnings
+      - run: cargo +nightly miri test ringbuffer
+      - run: cargo +nightly miri test short_Writer
+