Toolchain upgrade to nightly-2025-01-14 failed #3834
Comments
tautschnig
added a commit
to tautschnig/kani
that referenced
this issue
Jan 15, 2025
Upgrade Rust toolchain to 2025-01-15 without source changes. We just had to skip over 2025-01-14 as no toolchain was released that day. Resolves: model-checking#3834
github-merge-queue bot
pushed a commit
that referenced
this issue
Jan 15, 2025
Upgrade Rust toolchain to 2025-01-15 without source changes. We just had to skip over 2025-01-14 as no toolchain was released that day. Resolves: #3834 By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Updating Rust toolchain from nightly-2025-01-13 to nightly-2025-01-14 requires source changes.
The failed automated run can be found here.
Please review the changes at https://github.com/rust-lang/rust from rust-lang/rust@48a426e up to https://github.com/rust-lang/rust/commit/. The log for this commit range is:
The text was updated successfully, but these errors were encountered: