Skip to content

Commit f717b8d

Browse files
committed
Unpin CI miri toolchain
Fixed in nightly-2026-02-13.
1 parent fb69332 commit f717b8d

1 file changed

Lines changed: 1 addition & 4 deletions

File tree

.github/workflows/ci.yml

Lines changed: 1 addition & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -99,10 +99,7 @@ jobs:
9999
timeout-minutes: 45
100100
steps:
101101
- uses: actions/checkout@v6
102-
- uses: dtolnay/rust-toolchain@master
103-
with:
104-
toolchain: nightly-2026-02-11 # https://github.com/rust-lang/miri/issues/4855
105-
components: miri, rust-src
102+
- uses: dtolnay/rust-toolchain@miri
106103
- run: cargo miri setup
107104
- run: cargo miri test
108105
env:

0 commit comments

Comments
 (0)