-
Notifications
You must be signed in to change notification settings - Fork 98
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Toolchain upgrade to nightly-2024-03-30 failed #3125
Comments
tautschnig
added a commit
to tautschnig/kani
that referenced
this issue
Apr 5, 2024
Changes required due to: - rust-lang/rust@a325bce3cd Normalize the result of Fields::ty_with_args Resolves: model-checking#3125, model-checking#3113
tautschnig
added a commit
that referenced
this issue
Apr 5, 2024
Changes required due to: - rust-lang/rust@a325bce3cd Normalize the result of Fields::ty_with_args Resolves: #3125, #3113
celinval
pushed a commit
to celinval/kani-dev
that referenced
this issue
Apr 17, 2024
Changes required due to: - rust-lang/rust@a325bce3cd Normalize the result of Fields::ty_with_args Resolves: model-checking#3125, model-checking#3113
zpzigi754
pushed a commit
to zpzigi754/kani
that referenced
this issue
May 8, 2024
Changes required due to: - rust-lang/rust@a325bce3cd Normalize the result of Fields::ty_with_args Resolves: model-checking#3125, model-checking#3113
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
None yet
0 participants
Updating Rust toolchain from nightly-2024-03-29 to nightly-2024-03-30 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@ba52720 up to rust-lang/rust@faae5f1. The log for this commit range is:
rust-lang/rust@faae5f1ffe Auto merge of #122520 - scottmcm:stabilize_unchecked_math_basics, r=jhpratt
rust-lang/rust@af4a5a13a1 Auto merge of #121268 - Urgau:improve_ambi_wide_ptr_cmps, r=Nadrieril
rust-lang/rust@399fa2f6e4 Auto merge of #123194 - matthiaskrgr:rollup-vhdc8hw, r=matthiaskrgr
rust-lang/rust@d4b514f982 Add detection of [Partial]Ord methods to the ambiguous wide ptr cmp lint
rust-lang/rust@4a9f3cac88 Add diagnostic items for Ord and PartialOrd methods
rust-lang/rust@8d820c0c47 Rollup merge of #123188 - klensy:clippy-me2, r=Nilstrieb
rust-lang/rust@a18da0088e Rollup merge of #123187 - yedayak:relnotes-1.77.1, r=Mark-Simulacrum
rust-lang/rust@b48411bcd4 Rollup merge of #123186 - onur-ozkan:llvm-library-bug, r=Kobzol
rust-lang/rust@73a4208638 Rollup merge of #123176 - celinval:smir-field-ty, r=oli-obk
rust-lang/rust@685927aae6 Auto merge of #122450 - Urgau:simplify-trim-paths-feature, r=michaelwoerister
rust-lang/rust@45796d1c24 Auto merge of #123080 - Jules-Bertholet:mut-ref-mut, r=Nadrieril
rust-lang/rust@58dcd1fdb9 Auto merge of #123071 - rcvalle:rust-cfi-fix-method-fn-ptr-cast, r=compiler-errors
rust-lang/rust@5eb78c515c Forward port 1.77.1 release notes
rust-lang/rust@5fe364afdd copy any file from stage0/lib to stage0-sysroot/lib
rust-lang/rust@1c19595575 Auto merge of #122616 - Jules-Bertholet:casemappingiter-layout, r=Nilstrieb
rust-lang/rust@760e567af5 Auto merge of #122975 - DianQK:simplify_ub_check, r=saethlin
rust-lang/rust@db2f9759f4 Auto merge of #122671 - Mark-Simulacrum:const-panic-msg, r=Nilstrieb
rust-lang/rust@d74804636f Auto merge of #123178 - Nilstrieb:🥷-build, r=Mark-Simulacrum
rust-lang/rust@b546764cbe Update ninja on Windows
rust-lang/rust@a325bce3cd Normalize the result of Fields::ty_with_args
rust-lang/rust@fefb8f1f9c Replace Session should_remap_filepaths with filename_display_preference
rust-lang/rust@4f4fa42b0e Introduce
FileNameMapping::to_real_filename
and use it everywhererust-lang/rust@ee2898d3f1 Make local_crate_source_file return a RealFileName
rust-lang/rust@106146fd95 Replace
RemapFileNameExt::for_codegen
with explicit callsrust-lang/rust@777c6b46cc Simplify trim-paths feature by merging all debuginfo options together
rust-lang/rust@8245718503 and more
rust-lang/rust@9a6b3dfc06 and few more
rust-lang/rust@5488e492af and few more
rust-lang/rust@c64a440312 fix few more
rust-lang/rust@afd0a8eb8f change BuiltinDeriveFn type to get ExtCtxt by immutable ref and fix signatures
rust-lang/rust@615bb53a8d compiler: fix few needless_pass_by_ref_mut clippy lints
rust-lang/rust@ecb39926d8 compiler: fix few needless_pass_by_ref_mut clippy lints
rust-lang/rust@316bc1c67c compiler: fix few needless_pass_by_ref_mut clippy lints
rust-lang/rust@aa35530319 compiler: fix few needless_pass_by_ref_mut clippy lints
rust-lang/rust@b6cfe71f38 compiler: fix some clippy needless_pass_by_ref_mut
rust-lang/rust@bf47641726 compiler: fix unused_peekable clippy lint
rust-lang/rust@8e6b4e91b6 CFI: Fix methods as function pointer cast
rust-lang/rust@e931595909 Add rustfmt test for mut ref mut
rust-lang/rust@528d45af18 Feature gate
rust-lang/rust@e0da13f25f Implement
mut ref
/mut ref mut
rust-lang/rust@47ed73a7b5 Eliminate
UbCheck
for non-standard librariesrust-lang/rust@00f4daa276 Codegen const panic messages as function calls
rust-lang/rust@2f1ab2ce09 Reimplement
CaseMappingIter
withcore::array::IntoIter
rust-lang/rust@1c137b7582 Optimize
core::char::CaseMappingIter
layoutrust-lang/rust@50392ccc5a Workaround issue 122566
rust-lang/rust@9eb26d734e Remove
feature(unchecked_math)
from mirirust-lang/rust@234e383c34 Stabilize
unchecked_{add,sub,mul}
The text was updated successfully, but these errors were encountered: