tokio-rs/tokio
1
0
Fork 0
mirror of https://github.com/tokio-rs/tokio.git synced 2026-09-07 00:00:08 +02:00
Code Issues Packages Projects Releases Wiki Activity

ci: bump miri to nightly-2025-11-09 (#7726)

Browse Source
This commit is contained in:
Qi
2025-11-09 18:53:16 +02:00
committed by GitHub
parent 665f08b5ad
commit d709df2571
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/ci.yml
+1 -1
View File
@@ -18,7 +18,7 @@ env:
rust_stable: stable rust_stable: stable
rust_nightly: nightly-2025-10-12 rust_nightly: nightly-2025-10-12
# Pin a specific miri version # Pin a specific miri version
rust_miri_nightly: nightly-2025-06-02 rust_miri_nightly: nightly-2025-11-09
rust_clippy: '1.88' rust_clippy: '1.88'
# When updating this, also update: # When updating this, also update:
# - README.md # - README.md