Skip to content

Commit

Permalink
Pin nightly toolchain for Miri
Browse files Browse the repository at this point in the history
  • Loading branch information
taiki-e committed Jun 16, 2022
1 parent 657eef1 commit 09e972f
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/ci.yml
Expand Up @@ -160,8 +160,9 @@ jobs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
# TODO: unpin nightly toolchain once https://github.com/rust-lang/miri/issues/2223 fixed.
- name: Install Rust
run: rustup toolchain install nightly --component miri && rustup default nightly
run: rustup toolchain install nightly-2022-06-08 --component miri && rustup default nightly-2022-06-08
- name: miri
run: ./ci/miri.sh

Expand Down

0 comments on commit 09e972f

Please sign in to comment.