mirror of
https://github.com/tokio-rs/tokio.git
synced 2025-09-25 12:00:35 +00:00
chore: fix ci by hard-coding nightly version for miri (#4825)
It would seem that the latest nightly is having issues, so I went with the one from yesterday (2022-7-10).
This commit is contained in:
parent
ad942de2b7
commit
be620e913d
2
.github/workflows/ci.yml
vendored
2
.github/workflows/ci.yml
vendored
@ -195,7 +195,7 @@ jobs:
|
|||||||
- name: Install Rust ${{ env.rust_nightly }}
|
- name: Install Rust ${{ env.rust_nightly }}
|
||||||
uses: actions-rs/toolchain@v1
|
uses: actions-rs/toolchain@v1
|
||||||
with:
|
with:
|
||||||
toolchain: ${{ env.rust_nightly }}
|
toolchain: nightly-2022-07-10
|
||||||
components: miri
|
components: miri
|
||||||
override: true
|
override: true
|
||||||
- uses: Swatinem/rust-cache@v1
|
- uses: Swatinem/rust-cache@v1
|
||||||
|
Loading…
x
Reference in New Issue
Block a user