Skip to content

Automatic toolchain upgrade to nightly-2025-01-12 #3831

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 15, 2025
Merged

Automatic toolchain upgrade to nightly-2025-01-12 #3831

merged 1 commit into from
Jan 15, 2025

Conversation

@github-actions
Copy link
Contributor

Update Rust toolchain from nightly-2025-01-11 to nightly-2025-01-12 without any other source changes.

@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@b1a7dfb up to
rust-lang/rust@eb54a50. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/eb54a50837 Auto merge of #135370 - matthiaskrgr:rollup-g2w6d5n, r=matthiaskrgr

rust-lang/rust@076c047fe1 Rollup merge of #135314 - compiler-errors:eagerly-mono-closures, r=wesleywiser
rust-lang/rust@0bb0f0412f Rollup merge of #135205 - lqd:bitsets, r=Mark-Simulacrum
rust-lang/rust@2bcd5cf1ec Rollup merge of #134776 - estebank:vanilla-ice, r=lcnr
rust-lang/rust@b8e230a824 Rollup merge of #134030 - folkertdev:min-fn-align, r=workingjubilee
rust-lang/rust@fb65a3ee57 Auto merge of #135292 - lqd:rustcperfup, r=kobzol
rust-lang/rust@95cbb3b964 migrate clippy to the DenseBitSet name
rust-lang/rust@afa1943b32 migrate rustc_codegen_gcc to the DenseBitSet name
rust-lang/rust@d1f8a2c109 document the use-cases of DenseBitSet a bit more
rust-lang/rust@a13354bea0 rename BitSet to DenseBitSet
rust-lang/rust@ce55b2052d Auto merge of #135357 - jhpratt:rollup-gs00yt3, r=jhpratt
rust-lang/rust@46222ce6f8 Rollup merge of #135347 - samueltardieu:push-qvyxtxsqyxyr, r=jhpratt
rust-lang/rust@538d5dcbf5 Rollup merge of #135326 - onur-ozkan:target-specific-compiler-builtins, r=jieyouxu
rust-lang/rust@23c22a6627 Rollup merge of #135324 - Ayush1325:uefi-fs-unsupported, r=joboet
rust-lang/rust@8c3e9d7c62 Rollup merge of #135301 - lolbinarycat:bootstrap-old-master-resurected, r=onur-ozkan
rust-lang/rust@351e6188a8 Rollup merge of #135236 - scottmcm:more-mcp807-library-updates, r=ChrisDenton
rust-lang/rust@bd81023dd1 Rollup merge of #134074 - GrigorenkoPV:bootstrap-io-error-more, r=jieyouxu
rust-lang/rust@7e4077d06f Auto merge of #135274 - saethlin:array-repeats, r=compiler-errors
rust-lang/rust@a2d7c8144f Auto merge of #135258 - oli-obk:push-ktzskvxuwnlt, r=saethlin
rust-lang/rust@ebd6d3f225 Improve the safety documentation on new_unchecked
rust-lang/rust@60cbd749f3 never print the warning on CI
rust-lang/rust@857918e9bc review comments
rust-lang/rust@919f672c3d Avoid unnecessary note when type has escaping bounds
rust-lang/rust@91425d0ef8 Avoid duplicated note
rust-lang/rust@05c39438e2 Account for for<'a> types when checking for non-structural type in constant as pattern
rust-lang/rust@7648efaf1a Auto merge of #135346 - weihanglo:update-cargo, r=weihanglo
rust-lang/rust@9ab77f1ccb Use NonNull::without_provenance within the standard library
rust-lang/rust@cd24a90493 Update cargo
rust-lang/rust@760b6f8de4 Auto merge of #135339 - joboet:ptr-is-zero, r=Noratrieb
rust-lang/rust@47573bf61e add -Zmin-function-alignment
rust-lang/rust@4426e9a3c2 alloc: remove unsound IsZero for raw pointers
rust-lang/rust@65b01cb182 Use llvm.memset.p0i8.* to initialize all same-bytes arrays
rust-lang/rust@5a19c26fef add change entry for optimized-compiler-builtins
rust-lang/rust@8f63485cd9 add optimized-compiler-builtins to target specific section
rust-lang/rust@37eb9fa73f ensure optimized_compiler_builtins check for CI rustc
rust-lang/rust@e02957a6dc add coverage for target specific value
rust-lang/rust@4fd82f72ec make optimized-compiler-builtins target configurable
rust-lang/rust@65ea9f3eb4 Pull element init into a reusable closure
rust-lang/rust@7ad45f1d2f Change repeat element check into a match
rust-lang/rust@aec51564a5 Add regression test for option initialization
rust-lang/rust@6f2a78345e Update a bunch of library types for MCP807
rust-lang/rust@e21d12527b Initial fs module for uefi
rust-lang/rust@6431504e47 Eagerly collect mono items for non-generic closures
rust-lang/rust@a285d202cf Add an InstSimplify for repetitive array expressions
rust-lang/rust@e1772e7238 re-add a warning for old master branch, but with much simpler logic
rust-lang/rust@4ba139d4d8 bootstrap: std::io::ErrorKind::CrossesDevices is finally stable
rust-lang/rust@958a7722d1 bump rustc-perf

@github-actions github-actions bot requested a review from a team as a code owner January 14, 2025 13:15
@tautschnig tautschnig closed this Jan 14, 2025
@tautschnig tautschnig reopened this Jan 14, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jan 14, 2025
@tautschnig tautschnig added this pull request to the merge queue Jan 15, 2025
Merged via the queue into main with commit 89a41d2 Jan 15, 2025
27 of 28 checks passed
@tautschnig tautschnig deleted the toolchain-2025-01-12 branch January 15, 2025 09:42
@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 <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@tautschnig tautschnig tautschnig approved these changes

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.

1 participant

@tautschnig