update Miri CI config

2022-03-08 15:49:57 -05:00
parent 67ec907a98
commit c65c66e855
2 changed files with 7 additions and 18 deletions
@@ -51,6 +51,10 @@ jobs:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
-      - name: Miri
-        run: ci/miri.sh
-
+      - name: Install Miri
+        run: |
+          rustup toolchain install nightly --component miri
+          rustup override set nightly
+          cargo miri setup
+      - name: Test with Miri
+        run: cargo miri test