Merge pull request #65 from RalfJung/miri

update Miri CI config
Gilnaa · Mar 8, 2022 · 66f4c95 · 66f4c95
2 parents 2a74b62 + cb61d37
commit 66f4c95
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 15 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -67,8 +67,15 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v2
+      - name: Install Miri
+        run: |
+          rustup toolchain install nightly --component miri
+          rustup override set nightly
+          cargo miri setup
       - name: Test with Miri
-        run: ci/miri.sh
+        run: |
+          cargo miri test
+          cargo miri test --all-features
 
   style:
     name: lints and formatting

diff --git a/ci/miri.sh b/ci/miri.sh