Skip to content

Automatic toolchain upgrade to nightly-2025-01-13 #3833

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-13 #3833

merged 1 commit into from
Jan 15, 2025

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Jan 15, 2025

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

@github-actions github-actions bot requested a review from a team as a code owner January 15, 2025 10:20
@github-actions
Copy link
Contributor Author

github-actions bot commented Jan 15, 2025

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

https://github.com/rust-lang/rust/commit/48a426eca9 Auto merge of #135384 - saethlin:inline-copy-from-slice, r=joboet

rust-lang/rust@627513a764 Auto merge of #135281 - onur-ozkan:build-stamps, r=jieyouxu
rust-lang/rust@7bb9888953 Auto merge of #135402 - matthiaskrgr:rollup-cz7hs13, r=matthiaskrgr
rust-lang/rust@c0f6a1ce3f Auto merge of #135262 - mrkajetanp:ci-aarch64-dist-reland, r=Kobzol
rust-lang/rust@2fd11d0042 Rollup merge of #135398 - matthiaskrgr:crash, r=lqd
rust-lang/rust@1b45dad34e Rollup merge of #135397 - lqd:compiletest-enums, r=jieyouxu
rust-lang/rust@b53239668a Rollup merge of #135378 - compiler-errors:unnecessary-stashing, r=chenyukang
rust-lang/rust@988137c040 Rollup merge of #135377 - compiler-errors:impossible-step, r=oli-obk
rust-lang/rust@55503a1d0e Rollup merge of #135374 - compiler-errors:typo-trait-method, r=fee1-dead
rust-lang/rust@08968a4baf Rollup merge of #129259 - clarfonthey:maybe_uninit_slices, r=tgross35
rust-lang/rust@ee4cca8702 add more crash tests
rust-lang/rust@1b41e8406b Auto merge of #135396 - matthiaskrgr:rollup-zublg1c, r=matthiaskrgr
rust-lang/rust@13805491b2 Rollup merge of #135389 - jieyouxu:fix-stage0-rustdoc-rmake, r=onur-ozkan
rust-lang/rust@89a7282000 Rollup merge of #135379 - steffahn:uniquerc-invariant, r=Mark-Simulacrum
rust-lang/rust@6fa92eaf03 Rollup merge of #135375 - lolbinarycat:bootstrap-allow-stage0-rustdoc-js, r=jieyouxu
rust-lang/rust@fcf81b8cc3 Rollup merge of #135364 - yotamofek:borrowck-diag-fix, r=compiler-errors
rust-lang/rust@a18a71b92c Rollup merge of #135266 - kadiwa4:no_emsdk_update, r=Mark-Simulacrum
rust-lang/rust@33ce74f308 add error message to string_enum!s string conversions
rust-lang/rust@d19bdf9b48 add test for string_enum
rust-lang/rust@2a4bcf597b update doc-comment of BuildStamp::add_stamp
rust-lang/rust@13f3924c67 Auto merge of #135322 - scottmcm:inst-simplify-repeat-one, r=oli-obk
rust-lang/rust@b03fba7ab4 rename done_stamp to lld_stamp
rust-lang/rust@b54d65230f rustc-dev-guide: update outdated LLVM stamp filename
rust-lang/rust@fae26e7ffa add change entry for renamings
rust-lang/rust@9611d8ea13 avoid magical AsRef<Path> implementation
rust-lang/rust@dcc001adbb refactor with_stamp as add_stamp for incrementality
rust-lang/rust@99322a5158 extend sanitizers stamp calculation
rust-lang/rust@216969b8c2 run git only inside the current directory
rust-lang/rust@ffd4c5b51c migrate lld build stamp
rust-lang/rust@bdb7518203 apply minor improvements on build_stamp
rust-lang/rust@375165259c auto label A-bootstrap-stamp
rust-lang/rust@a72068adee migrate program_out_of_date to BuildStamp::is_up_to_date
rust-lang/rust@9878d63acb add coverage for BuildStamp::with_prefix
rust-lang/rust@1fa66573cd fix an invalid prefix usage on enzyme
rust-lang/rust@9e86d76ad9 fix compiler errors
rust-lang/rust@615131b4d4 migrate generate_smart_stamp_hash
rust-lang/rust@cacb4fe93a add test coverage for build_stamp implementation
rust-lang/rust@9e1c9fd654 document build_stamp implementation
rust-lang/rust@236d5804bf migrate Builder::clear_if_dirty
rust-lang/rust@9e929754b2 migrate helper stamp functions
rust-lang/rust@c68c721b50 migrate HashStamp to BuildStamp
rust-lang/rust@e3de3c767e use BuildStamp instead of std paths and strings
rust-lang/rust@58306c6a00 implement BuildStamp that is stricter impl for build stamps
rust-lang/rust@1665b80b71 run-make-support: don't use lossy on TARGET_RPATH_DIR
rust-lang/rust@fec2e3ab1a compiletest: include stage0-sysroot libstd dylib in recipe dylib search path
rust-lang/rust@e37daf0c86 Add inherent versions of MaybeUninit methods for slices
rust-lang/rust@7396ec3edb Address PR feedback
rust-lang/rust@6e34369ef6 [mir-opt] simplify Repeats that don't actually repeat the operand
rust-lang/rust@cda566e226 Add #[inline] to copy_from_slice
rust-lang/rust@12445e0b2c Auto merge of #135360 - RalfJung:structural-partial-eq, r=compiler-errors
rust-lang/rust@df57d65c70 Make UniqueRc invariant for soundness
rust-lang/rust@f1d622678b Make MIR cleanup for functions with impossible predicates into a real MIR pass
rust-lang/rust@af2247ce10 allow rustdoc-js tests to be run at stage0
rust-lang/rust@85c9ce6d79 Remove a bunch of diagnostic stashing that doesn't do anything
rust-lang/rust@4486a19007 Suggest typos when trait path expression is typod
rust-lang/rust@9ba34f8347 ci: Organise shared helper scripts
rust-lang/rust@27b0693464 collect diag suggestions instead of pushing into vector repeatedly
rust-lang/rust@6680bc5554 improve clunky grammar in borrowck diagnostic
rust-lang/rust@86d2129a78 fix it's -> its in doc comment
rust-lang/rust@41857a3d42 update and clarify StructuralPartialEq docs
rust-lang/rust@dce8c06de3 ci: Move dist-aarch64-linux to an aarch64 runner
rust-lang/rust@44d760fb91 remove emsdk update from relnotes

@tautschnig tautschnig closed this Jan 15, 2025
@tautschnig tautschnig reopened this Jan 15, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jan 15, 2025
@tautschnig tautschnig added this pull request to the merge queue Jan 15, 2025
Merged via the queue into main with commit d6052af Jan 15, 2025
28 checks passed
@tautschnig tautschnig deleted the toolchain-2025-01-13 branch January 15, 2025 13:26
@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