Skip to content

Commit 0f510db

Browse files
committed
Unpin CI miri toolchain
Fixed in nightly-2026-02-13.
1 parent b3c5fe3 commit 0f510db

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
@@ -213,10 +213,7 @@ jobs:
213213
timeout-minutes: 45
214214
steps:
215215
- uses: actions/checkout@v6
216-
- uses: dtolnay/rust-toolchain@master
217-
with:
218-
toolchain: nightly-2026-02-11 # https://github.com/rust-lang/miri/issues/4855
219-
components: miri, rust-src
216+
- uses: dtolnay/rust-toolchain@miri
220217
- run: cargo miri setup
221218
- run: cargo miri test
222219
env:

0 commit comments

Comments
 (0)