mirror of
https://github.com/tokio-rs/tokio.git
synced 2026-08-17 00:00:11 +02:00
miri: add annotations for tests with miri ignore (#6981)
This commit is contained in:
@@ -18,7 +18,7 @@ env:
|
||||
rust_stable: stable
|
||||
rust_nightly: nightly-2024-05-05
|
||||
# Pin a specific miri version
|
||||
rust_miri_nightly: nightly-2024-09-19
|
||||
rust_miri_nightly: nightly-2024-10-21
|
||||
rust_clippy: '1.77'
|
||||
# When updating this, also update:
|
||||
# - README.md
|
||||
|
||||
Reference in New Issue
Block a user