Merge pull request #21628 from Shourya742/2026-02-12-pin-nightly-for-miri-workflow
Pin nightly for miri workflow
This commit is contained in:
commit
d32a47377e
1 changed files with 5 additions and 2 deletions
|
|
@ -206,8 +206,11 @@ jobs:
|
|||
|
||||
- name: Install Rust toolchain
|
||||
run: |
|
||||
rustup update --no-self-update nightly
|
||||
rustup default nightly
|
||||
# FIXME: Pin nightly due to a regression in miri on nightly-2026-02-12.
|
||||
# See https://github.com/rust-lang/miri/issues/4855.
|
||||
# Revert to plain `nightly` once this is fixed upstream.
|
||||
rustup toolchain install nightly-2026-02-10
|
||||
rustup default nightly-2026-02-10
|
||||
rustup component add miri
|
||||
|
||||
# - name: Cache Dependencies
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue