Install MIRI using rustup

RustCrypto · Sep 12, 2023 · cbc8ac0 · cbc8ac0
1 parent 60bd957
commit cbc8ac0
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 6 deletions.
diff --git a/.github/workflows/ascon.yml b/.github/workflows/ascon.yml
@@ -81,9 +81,12 @@ jobs:
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: nightly
-          component: miri
-      - run: cargo miri setup
-      - run: |
+      - name: Install Miri
+        run: |
+          rustup component add miri
+          cargo miri setup
+      - name: Test with Miri
+        run: |
           cargo miri test --target ${{ matrix.target }} --no-default-features
           cargo miri test --target ${{ matrix.target }}
           cargo miri test --target ${{ matrix.target }} --all-features
diff --git a/.github/workflows/keccak.yml b/.github/workflows/keccak.yml
@@ -94,9 +94,12 @@ jobs:
       - uses: dtolnay/rust-toolchain@master
         with:
           toolchain: nightly
-          component: miri
-      - run: cargo miri setup
-      - run: |
+      - name: Install Miri
+        run: |
+          rustup component add miri
+          cargo miri setup
+      - name: Test with Miri
+        run: |
           cargo miri test --target ${{ matrix.target }} --no-default-features
           cargo miri test --target ${{ matrix.target }}
           cargo miri test --target ${{ matrix.target }} --features no_unroll