Skip to content
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

Automatic toolchain upgrade to nightly-2025-01-07 #3820

Merged
merged 1 commit into from
Jan 10, 2025
Merged

Automatic toolchain upgrade to nightly-2025-01-07 #3820

merged 1 commit into from
Jan 10, 2025

Conversation

github-actions[bot]
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 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-BenchCI 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
@qinheping qinheping mentioned this pull request Jan 10, 2025
Merged
github-merge-queue bot pushed a commit that referenced this pull request Jan 11, 2025
@qinheping @celinval
Bump Kani version to 0.58.0 (#3822)
37321b1 
## 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
Reviewers

@qinheping qinheping qinheping approved these changes

Assignees
No one assigned
Labels
Z-BenchCI 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
@qinheping @carolynzech @celinval