]> git.feebdaed.xyz Git - 0xmirror/tokio.git/commitdiff
ci: bump miri to `nightly-2025-11-09` (#7726)
authorQi <add_sp@outlook.com>
Sun, 9 Nov 2025 16:53:16 +0000 (00:53 +0800)
committerGitHub <noreply@github.com>
Sun, 9 Nov 2025 16:53:16 +0000 (18:53 +0200)
.github/workflows/ci.yml

index c2f89cb6691db02f291b762e0485160255cc15a8..885b4f212d40eb8c73377b0fe6031e578c862e74 100644 (file)
@@ -18,7 +18,7 @@ env:
   rust_stable: stable
   rust_nightly: nightly-2025-10-12
   # Pin a specific miri version
-  rust_miri_nightly: nightly-2025-06-02
+  rust_miri_nightly: nightly-2025-11-09
   rust_clippy: '1.88'
   # When updating this, also update:
   # - README.md