Skip to content

Commit 2629a33

Browse files
authored
Update MIRI pin (#1828)
* Update MIRI * Unpin MIRI
1 parent c92943c commit 2629a33

File tree

1 file changed

+3
-7
lines changed

1 file changed

+3
-7
lines changed

.github/workflows/miri.yaml

+3-7
Original file line numberDiff line numberDiff line change
@@ -26,19 +26,15 @@ jobs:
2626
miri-checks:
2727
name: MIRI
2828
runs-on: ubuntu-latest
29-
strategy:
30-
matrix:
31-
arch: [amd64]
32-
rust: [nightly-2022-01-17]
3329
steps:
3430
- uses: actions/checkout@v2
3531
with:
3632
submodules: true
3733
- name: Setup Rust toolchain
3834
run: |
39-
rustup toolchain install ${{ matrix.rust }}
40-
rustup default ${{ matrix.rust }}
41-
rustup component add rustfmt clippy miri
35+
rustup toolchain install nightly --component miri
36+
rustup override set nightly
37+
cargo miri setup
4238
- name: Run Miri Checks
4339
env:
4440
RUST_BACKTRACE: full

0 commit comments

Comments
 (0)