Skip to content

Automatic toolchain upgrade to nightly-2025-01-24 #3850

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Jan 24, 2025
Merged

Automatic toolchain upgrade to nightly-2025-01-24 #3850

merged 1 commit into from
Jan 24, 2025

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2025-01-23 to nightly-2025-01-24 without any other source changes.

@github-actions GitHub Actions
Copy link
Contributor Author

This is an automatically generated pull request. If any of the CI checks fail,
manual intervention is required. In such a case, review the changes at
https://github.com/rust-lang/rust from
rust-lang/rust@649b995 up to
rust-lang/rust@99768c8. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/99768c80a1 Auto merge of #135921 - matthiaskrgr:rollup-5mzn76m, r=matthiaskrgr

rust-lang/rust@fc0094f8d4 Auto merge of #135494 - yotamofek:rustdoc-fmt-from_fn, r=fmease
rust-lang/rust@4b3d7ef888 Rollup merge of #135898 - aDotInTheVoid:dyndoc, r=fmease
rust-lang/rust@76e68ccbb6 Rollup merge of #135887 - onur-ozkan:testing-improvements, r=jieyouxu
rust-lang/rust@447824d28f Rollup merge of #135884 - hkBst:patch-13, r=compiler-errors
rust-lang/rust@d1cfd39362 Rollup merge of #135883 - GrigorenkoPV:btree_set_upper_bound_mut, r=tgross35
rust-lang/rust@e1ee0381a0 Rollup merge of #135879 - onur-ozkan:invalid-file-path, r=jieyouxu
rust-lang/rust@27155e5ced Rollup merge of #135790 - wesleywiser:update_windows_gnu_debuginfokind, r=lqd
rust-lang/rust@a6157d3038 Rollup merge of #135779 - marcoieni:free-disk-arm-runner, r=Kobzol
rust-lang/rust@9b40bd70de Rollup merge of #135552 - amy-kwan:amy-kwan/reprc-struct-diagnostic-power-alignment, r=workingjubilee
rust-lang/rust@73dc08d470 Rollup merge of #134746 - compiler-errors:autoderef-norm-non-wf-coerce-ice, r=lcnr
rust-lang/rust@cf577f34c4 Auto merge of #135461 - jieyouxu:migrate-jobserver-errors, r=Noratrieb
rust-lang/rust@3cd8fcbf87 Auto merge of #135164 - Kobzol:run-make-test-glibc-symbols, r=jieyouxu
rust-lang/rust@a30f9151fe Auto merge of #135896 - matthiaskrgr:rollup-g6rv7za, r=matthiaskrgr
rust-lang/rust@0149c0fdd8 rustdoc-json-types: Finalize dyn compatibility renaming
rust-lang/rust@3962bfaeed Rollup merge of #135856 - fmease:library-mv-obj-save-dyn-compat-ii, r=tgross35
rust-lang/rust@0bdc1015cc Rollup merge of #135837 - ChrisDenton:trunc, r=Noratrieb
rust-lang/rust@41885a4858 Rollup merge of #135826 - yotamofek:resolve-cleanups4, r=petrochenkov
rust-lang/rust@672d2de37b Rollup merge of #135814 - marcoieni:use-buildkit-ghcr, r=Kobzol
rust-lang/rust@3b36879203 Rollup merge of #135794 - estebank:non-exhaustive-dfv-ctor, r=jieyouxu
rust-lang/rust@5fab5429c4 Rollup merge of #135596 - compiler-errors:stack, r=oli-obk
rust-lang/rust@b4266b0bcd Rollup merge of #135557 - estebank:wtf8, r=fee1-dead
rust-lang/rust@f875983035 Rollup merge of #135409 - Shunpoco:issue-133117-ICE-never-false-edge-start-block, r=Nadrieril
rust-lang/rust@9206ba535c Rollup merge of #132983 - Anthony-Eid:dangling-pointers-lint, r=Urgau
rust-lang/rust@72fa874456 Don't ICE in coerce when autoderef fails to structurally normalize non-WF type in new solver
rust-lang/rust@cd2ecc4b50 [AIX] Lint on structs that have a different alignment in AIX's C ABI
rust-lang/rust@e3a5314e0a reduce number of prepare_cargo_test args
rust-lang/rust@17b2ede40d resolve clippy FIXME
rust-lang/rust@c568da9f16 make bootstrap self test to use bootstrap cargo
rust-lang/rust@5482bbac0f Reword comment slightly
rust-lang/rust@53578bdd19 remove implied end of slice
rust-lang/rust@bae2a2f3b5 Remove erroneous unsafe in BTreeSet::upper_bound_mut
rust-lang/rust@f0dfda124d fix outdated file path ref in llvm
rust-lang/rust@46ae7382a4 Use objdump instead of llvm-objdump
rust-lang/rust@7877883339 Run the glibc run-make test in opt-dist
rust-lang/rust@48b5481943 rustdoc: extract duplicated code into method
rust-lang/rust@1dee842c92 rustdoc: use std's (unstable) fmt::from_fn instead of open-coding it
rust-lang/rust@73fc7af716 rustdoc: pass around decoration info by ref
rust-lang/rust@12214db74b Update lint tests with new dangling pointers message
rust-lang/rust@20229200c8 tests: port jobserver-error.rs to rmake.rs
rust-lang/rust@ead78bb243 run-make-support: add set_aux_fd helper
rust-lang/rust@9e98d25729 Library: Finalize dyn compatibility renaming
rust-lang/rust@7275bdf6ec modify comment
rust-lang/rust@481ed2d931 address review: modify matches/mod.rs
rust-lang/rust@d8a216b866 address review: modify ICE-133063-never-arm-no-otherwise-block.rs
rust-lang/rust@e7db0925d1 address review: modify ICE-133117-duplicated-never-arm.rs
rust-lang/rust@57dd42d613 Point at invalid utf-8 span on user's source code
rust-lang/rust@922e6bb2d4 Detect missing fields with default values and suggest ..
rust-lang/rust@fed5f98c47 Remove test panic from File::open
rust-lang/rust@efabee2dee rustc_resolve: don't open-code Option::filter
rust-lang/rust@6f22dfe4df rustc_resolve: use Iterator combinators instead of for loops where applicable
rust-lang/rust@ae87d005bc rustc_resolve: reduce rightwards drift with let..else 👉💨
rust-lang/rust@cf91a93d09 rustc_resolve: flatten nested ifs
rust-lang/rust@a93616acf3 rustc_resolve: remove unneeded returns
rust-lang/rust@cd9dcfc6bc ci: use ghcr buildkit image
rust-lang/rust@75f8cc6ab6 Enable verbose tests in opt-dist tests
rust-lang/rust@ef9349db86 Add test for checking used glibc symbols
rust-lang/rust@0b24fc9936 Set DebuginfoKind::Dwarf for *-windows-gnu and *-windows-gnullvm
rust-lang/rust@fdb636e88b Add tests for windows-gnu split-debuginfo options
rust-lang/rust@a175e8d903 CI: free disk on linux arm runner
rust-lang/rust@be56f10a69 Properly note when query stack is being cut off
rust-lang/rust@0385dd4719 Fix ICE-130779
rust-lang/rust@8c0c149bb0 Remove solved crashes
rust-lang/rust@8a57fa634c Fix ICE-133117
rust-lang/rust@3a83422c13 Fix ICE-133063
rust-lang/rust@bab8a41334 Update compiler/rustc_lint/messages.ftl
rust-lang/rust@6d95b5baef Update compiler/rustc_lint/src/lints.rs
rust-lang/rust@de0cb6cb6e Start work on dangling pointers lint

@github-actions github-actions bot requested a review from a team as a code owner January 24, 2025 03:20
@tautschnig tautschnig closed this Jan 24, 2025
@tautschnig tautschnig reopened this Jan 24, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jan 24, 2025
@carolynzech carolynzech added this pull request to the merge queue Jan 24, 2025
Merged via the queue into main with commit cc95ba9 Jan 24, 2025
27 of 28 checks passed
@carolynzech carolynzech deleted the toolchain-2025-01-24 branch January 24, 2025 15:59
@carolynzech carolynzech mentioned this pull request Feb 5, 2025
Merged
github-merge-queue bot pushed a commit that referenced this pull request Feb 6, 2025
@zhassan-aws
Bump Kani version to 0.59.0 (#3876)
2955d5e 
Github generated release notes:

## What's Changed
* Automatic toolchain upgrade to nightly-2025-01-08 by @github-actions
in #3821
* Automatic cargo update to 2025-01-13 by @github-actions in
#3824
* Automatic toolchain upgrade to nightly-2025-01-09 by @github-actions
in #3825
* Bump ncipollo/release-action from 1.14.0 to 1.15.0 by @dependabot in
#3826
* Bump tests/perf/s2n-quic from `ac52a48` to `adc7ba9` by @dependabot in
#3827
* Automatic toolchain upgrade to nightly-2025-01-10 by @github-actions
in #3828
* Automatic toolchain upgrade to nightly-2025-01-11 by @github-actions
in #3830
* Verify contracts/stubs for generic types with multiple inherent
implementations by @carolynzech in
#3829
* Update Charon submodule by @thanhnguyen-aws in
#3823
* Automatic toolchain upgrade to nightly-2025-01-12 by @github-actions
in #3831
* Automatic toolchain upgrade to nightly-2025-01-13 by @github-actions
in #3833
* Upgrade toolchain to 2025-01-15 by @tautschnig in
#3835
* Automatic toolchain upgrade to nightly-2025-01-16 by @github-actions
in #3836
* Add a regression test for `no_std` feature by @carolynzech in
#3837
* Use fully-qualified name for size_of by @zhassan-aws in
#3838
* Automatic cargo update to 2025-01-20 by @github-actions in
#3842
* Bump tests/perf/s2n-quic from `adc7ba9` to `f0649f9` by @dependabot in
#3844
* Upgrade toolchain to nightly-2025-01-22 by @tautschnig in
#3843
* Remove `DefKind::Ctor` from filtering crate items by @carolynzech in
#3845
* Enable valid_ptr post_condition harnesses by @tautschnig in
#3847
* Update build command in docs to use release mode by @zhassan-aws in
#3846
* Automatic toolchain upgrade to nightly-2025-01-23 by @github-actions
in #3848
* Automatic toolchain upgrade to nightly-2025-01-24 by @github-actions
in #3850
* Remove the openssl-devel package from dependencies by @zhassan-aws in
#3852
* Fix validity checks for `char` by @celinval in
#3853
* Bump tests/perf/s2n-quic from `f0649f9` to `4500593` by @dependabot in
#3857
* Automatic cargo update to 2025-01-27 by @github-actions in
#3856
* Deprecate `--enable-unstable` and `--restrict-vtable` by @celinval in
#3859
* Stub linker to avoid missing symbols errors by @celinval in
#3858
* Toolchain upgrade to nightly-2025-01-28 by @feliperodri in
#3855
* Allow multiple annotations, but check for duplicate targets. by
@remi-delmas-3000 in #3808
* Move documentation of kani_core modules to right places by @qinheping
in #3851
* Fix missing function declaration issue by @celinval in
#3862
* Fix transmute codegen when sizes are different by @celinval in
#3861
* Remove symtab2gb from bundle by @zhassan-aws in
#3865
* Update the rustc hack for CLion / RustRover by @celinval in
#3868
* Bump tests/perf/s2n-quic from `4500593` to `82dd0b5` by @dependabot in
#3872
* Automatic cargo update to 2025-02-03 by @github-actions in
#3869
* Add reference for loop contracts by @qinheping in
#3849
* remove flag float-overflow-check by @rajath-mk in
#3873

## New Contributors
* @rajath-mk made their first contribution in
#3873

**Full Changelog**:
kani-0.58.0...kani-0.59.0



By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.

---------

Co-authored-by: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
1 more reviewer

@carolynzech carolynzech carolynzech approved these changes

Reviewers whose approvals may not affect merge requirements
Assignees
No one assigned
Labels
Z-EndToEndBenchCI Tag a PR to run benchmark CI
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@carolynzech @tautschnig @celinval