Skip to content

Commit 8cf6d7b

Browse files
committed
Use dtolnay/rust-toolchain's miri toolchain
This defaults to components miri + rust-src.
1 parent 2a6da9b commit 8cf6d7b

File tree

1 file changed

+1
-3
lines changed

1 file changed

+1
-3
lines changed

.github/workflows/ci.yml

Lines changed: 1 addition & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -62,9 +62,7 @@ jobs:
6262
runs-on: ubuntu-latest
6363
steps:
6464
- uses: actions/checkout@v3
65-
- uses: dtolnay/rust-toolchain@nightly
66-
with:
67-
components: miri, rust-src
65+
- uses: dtolnay/rust-toolchain@miri
6866
- run: cargo miri test
6967
env:
7068
MIRIFLAGS: -Zmiri-strict-provenance

0 commit comments

Comments
 (0)