Bump toolchain & version to 2/11

carolynzech · carolynzech · commit d85a058c39d0 · 2025-02-24T17:17:04.000-05:00
diff --git a/rust-toolchain.toml b/rust-toolchain.toml
@@ -2,5 +2,5 @@
 # standard library we currently track.
 
 [toolchain]
-channel = "nightly-2025-02-10"
+channel = "nightly-2025-02-11"
 components = ["llvm-tools-preview", "rustc-dev", "rust-src", "rustfmt"]
diff --git a/tool_config/kani-version.toml b/tool_config/kani-version.toml
@@ -2,4 +2,4 @@
 # incompatible with the verify-std repo.
 
 [kani]
-commit = "81e9aa3063251cbe2474f18281c7292ebd41e667"
+commit = "2e95d8bc47a04f01badcb3d30875269be29a46aa"
