bump miri CI version
This commit is contained in:
1 parent
d627153ccc
commit
b0586843b2
1 file changed
+2
-2
@@ -26,8 +26,8 @@ env:
|
|||||||
RUST_BACKTRACE: 1
|
RUST_BACKTRACE: 1
|
||||||
# Change to specific Rust release to pin
|
# Change to specific Rust release to pin
|
||||||
rust_stable: stable
|
rust_stable: stable
|
||||||
rust_nightly: nightly-2022-11-03
|
rust_nightly: nightly-2023-11-16
|
||||||
rust_clippy: 1.65.0
|
rust_clippy: 1.70.0
|
||||||
# When updating this, also update:
|
# When updating this, also update:
|
||||||
# - README.md
|
# - README.md
|
||||||
# - tokio/README.md
|
# - tokio/README.md
|
||||||
|
|||||||
Reference in new issue
Block a user