Skip to content

Conversation

@github-actions
Copy link
Contributor

Update Rust toolchain from nightly-2025-01-06 to nightly-2025-01-07 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner January 10, 2025 03:19
@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@b3b368a up to
rust-lang/rust@243d2ca. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/243d2ca4db Auto merge of #135112 - tgross35:combine-select-unpredictable-test, r=the8472

rust-lang/rust@13738b0abe Auto merge of #135151 - matthiaskrgr:rollup-2vy1hwl, r=matthiaskrgr
rust-lang/rust@c5c05c2528 Rollup merge of #135150 - lcnr:unconstrained-lts-comment, r=oli-obk
rust-lang/rust@ee6914a45b Rollup merge of #135147 - compiler-errors:borrowck-tweaks, r=chenyukang
rust-lang/rust@b561659e43 Rollup merge of #135145 - kpreid:unnameable, r=compiler-errors
rust-lang/rust@69e7b12b6b Rollup merge of #135132 - BoxyUwU:rdg_ping_group, r=jieyouxu
rust-lang/rust@bb2c4ad331 Rollup merge of #135129 - jieyouxu:tag-r-d-g, r=BoxyUwU
rust-lang/rust@b36962db55 Rollup merge of #135111 - tgross35:float-doc-aliases, r=Noratrieb
rust-lang/rust@ae6a3313cf footnote to ordinary comment
rust-lang/rust@fd98df8f14 Auto merge of #135085 - knickish:m68k_unknown_none, r=workingjubilee
rust-lang/rust@339902908e Remove CallKind::Deref hack from UseSpans
rust-lang/rust@cd65cd27db Improve find_self_call with reborrowed receiver
rust-lang/rust@3560a2b399 Improve span when temporary receiver is dropped in edition 2024
rust-lang/rust@56f9e6f935 Auto merge of #135140 - jhpratt:rollup-pn2gi84, r=jhpratt
rust-lang/rust@2a96478dd8 Mention unnameable_types in unreachable_pub documentation.
rust-lang/rust@0f9f91cccf Rollup merge of #135121 - okaneco:const_slice_reverse, r=jhpratt
rust-lang/rust@af9293f507 Rollup merge of #135118 - ranger-ross:better-docs-on-iter-fns, r=jhpratt
rust-lang/rust@b9f971a52c Rollup merge of #135115 - Zalathar:dwarf-const, r=workingjubilee
rust-lang/rust@feb32c6546 Auto merge of #134794 - RalfJung:abi-required-target-features, r=workingjubilee
rust-lang/rust@2cc114c6da rustc-dev-guide changes ping group
rust-lang/rust@5871867808 triagebot: label src/doc/rustc-dev-guide changes with A-rustc-dev-guide
rust-lang/rust@f985a37c57 Remove other maintainers
rust-lang/rust@03c2ac248f Mark slice::reverse unstably const
rust-lang/rust@f50721ebad Explain why the DW_TAG_* constants remain as-is for now
rust-lang/rust@1b62645418 Use constants for DWARF opcodes, instead of FFI calls
rust-lang/rust@e267106104 Use gimli to get the values of DWARF constants needed by codegen
rust-lang/rust@6243c0f818 Clarified the documentation on core::iter::from_fn and core::iter::successors
rust-lang/rust@2e64b5352b add dedicated type for ABI target feature constraints
rust-lang/rust@74d2d4bfa4 Expand the select_unpredictable test for ZSTs
rust-lang/rust@ff7f818fc7 change to static relocation model
rust-lang/rust@d42c3ae02f Merge the intrinsic and user tests for select_unpredictable
rust-lang/rust@37f2875588 Add doc aliases for libm and IEEE names
rust-lang/rust@139ca10f65 Apply suggestions from workingjubilee's code review
rust-lang/rust@2287491480 add m68k-unknown-none-elf target
rust-lang/rust@43ede97ebf arm: use target.llvm_floatabi over soft-float target feature
rust-lang/rust@912b7291d0 add ABI target features before -Ctarget-features
rust-lang/rust@eb527424a5 x86-64 hardfloat actually requires sse2
rust-lang/rust@0a8cfc2f8f adjust GCC backend
rust-lang/rust@cfae43d638 clean up target feature system; most of the toggleability is now handled by the ABI target feature check
rust-lang/rust@2bf27e09be explicitly model that certain ABIs require/forbid certain target features

@qinheping qinheping closed this Jan 10, 2025
@qinheping qinheping added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jan 10, 2025
@qinheping qinheping reopened this Jan 10, 2025
@carolynzech carolynzech added this pull request to the merge queue Jan 10, 2025
Merged via the queue into main with commit 4ab4bca Jan 10, 2025
28 checks passed
@carolynzech carolynzech deleted the toolchain-2025-01-07 branch January 10, 2025 15:47
github-merge-queue bot pushed a commit that referenced this pull request Jan 11, 2025
## What's Changed
* Package Docker release step: ensure compiler is installed by
@tautschnig in #3789
* Improve `--jobs` UI by @carolynzech in
#3790
* Update kissat to v4.0.1 by @remi-delmas-3000 in
#3791
* Automatic cargo update to 2024-12-23 by @github-actions in
#3792
* Bump tests/perf/s2n-quic from `0b3f892` to `a54686e` by @dependabot in
#3793
* Upgrade toolchain to nightly-2024-12-18 by @zhassan-aws in
#3794
* Automatic cargo update to 2024-12-30 by @github-actions in
#3800
* fix: clippy by @ShoyuVanilla in
#3806
* Update dependencies (02.01.2025). by @remi-delmas-3000 in
#3809
* Update charon submodule by @zhassan-aws in
#3801
* Upgrade toolchain to 2024-12-19 by @zhassan-aws in
#3810
* Automatic cargo update to 2025-01-06 by @github-actions in
#3812
* Bump tests/perf/s2n-quic from `a54686e` to `ac52a48` by @dependabot in
#3813
* Generate contracts of dependencies as assertions by @carolynzech in
#3802
* Fix hanging command in `std-analysis.sh` by @carolynzech in
#3818
* Add UB checks for ptr_offset_from* intrinsics by @celinval in
#3757
* Toolchain update 06-01-2025 by @remi-delmas-3000 in
#3814
* Automatic toolchain upgrade to nightly-2025-01-07 by @github-actions
in #3820
* Include manifest-path when checking if packages are in the workspace
by @qinheping in #3819

## New Contributors
* @ShoyuVanilla made their first contribution in
#3806

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

---------

Co-authored-by: Celina G. Val <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Z-EndToEndBenchCI Tag a PR to run benchmark CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants