Skip to content

Automatic toolchain upgrade to nightly-2025-01-23 #3848

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

Automatic toolchain upgrade to nightly-2025-01-23 #3848

merged 1 commit into from
Jan 23, 2025

Conversation

@github-actions
Copy link
Contributor

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

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

@github-actions
Copy link
Contributor Author

github-actions bot commented Jan 23, 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@ed43cbc up to
rust-lang/rust@649b995. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/649b995a9f Auto merge of #135893 - matthiaskrgr:rollup-2qqo647, r=matthiaskrgr

rust-lang/rust@e0b4ba3737 Rollup merge of #135875 - BoxyUwU:enter_forall_no_copy, r=lcnr
rust-lang/rust@7235b1a44e Rollup merge of #135874 - oli-obk:push-vrvyyrtyxkxm, r=compiler-errors
rust-lang/rust@318466aec0 Rollup merge of #135866 - BoxyUwU:dont_pick_fnptr_nested_goals, r=lcnr
rust-lang/rust@413f87a1f8 Rollup merge of #135858 - fmease:rustdoc-mv-obj-save-dyn-compat-ii, r=GuillaumeGomez
rust-lang/rust@b0bb6e3474 Rollup merge of #135850 - alexcrichton:update-wasm-component-ld, r=jieyouxu
rust-lang/rust@e4c144b779 Rollup merge of #135823 - ferrocene:ja-gh135819, r=jieyouxu
rust-lang/rust@ef0e6863c6 Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnr
rust-lang/rust@e0d74c0667 Rollup merge of #135156 - Zalathar:debuginfo-flags, r=cuviper
rust-lang/rust@df01040860 Rollup merge of #134396 - mustartt:byval-pointer-natural-alignment, r=wesleywiser
rust-lang/rust@cd1f36b020 Rollup merge of #133372 - cramertj:rework-dyn-suggestions, r=fmease
rust-lang/rust@d00d4dfe0d Refactor dyn-compatibility error and suggestions
rust-lang/rust@dee7d0e730 Auto merge of #134478 - compiler-errors:attr-span, r=oli-obk
rust-lang/rust@921c226eb6 Remove Copy bound from enter_forall
rust-lang/rust@20ae3c0d60 Enforce that all spans are lowered in ast lowering
rust-lang/rust@b99f59bbd6 Rename structurally_normalize to structurally_normalize_ty
rust-lang/rust@513bfaa8bc Use structurally_normalize instead of manual normalizes-to goals
rust-lang/rust@3ef506fb4d Don't pick T: FnPtr nested goals
rust-lang/rust@b2728d5426 Auto merge of #135674 - scottmcm:assume-better, r=estebank
rust-lang/rust@ff7cf142c0 rustdoc: Finalize dyn compatibility renaming
rust-lang/rust@c234b839d1 Auto merge of #135848 - matthiaskrgr:rollup-sftciqm, r=matthiaskrgr
rust-lang/rust@8600694b89 Update the wasm-component-ld tool
rust-lang/rust@a7408c458b Rollup merge of #135833 - lqd:add-ice-test, r=compiler-errors
rust-lang/rust@60cb6c4044 Rollup merge of #135824 - jieyouxu:delete-bintools-check, r=Noratrieb
rust-lang/rust@50c89b6c21 Rollup merge of #135821 - hkBst:patch-11, r=ibraheemdev
rust-lang/rust@2ba3ece3a1 Rollup merge of #135810 - Kobzol:kobzol-parental-leave, r=Kobzol
rust-lang/rust@79f128183f Rollup merge of #135793 - jyn514:gitignore, r=jieyouxu
rust-lang/rust@317769f152 Rollup merge of #135750 - scottmcm:cma-example, r=cuviper
rust-lang/rust@4af3ff8cd1 Rollup merge of #135706 - compiler-errors:elaborate, r=lcnr
rust-lang/rust@ea594c692b Rollup merge of #132232 - asomers:fbsd-13.4, r=Mark-Simulacrum
rust-lang/rust@a24bdc60ce Auto merge of #135487 - klensy:windows-0.59, r=Mark-Simulacrum
rust-lang/rust@45929a8f46 Move supertrait_def_ids into the elaborate module like all other fns
rust-lang/rust@ece8b0c94f make UI tests that use --test work on panic=abort targets
rust-lang/rust@9bad0daef6 add fixme in typoed const pattern lint
rust-lang/rust@d9165b2ed6 add test for issue 135289
rust-lang/rust@6c5f084c77 tidy
rust-lang/rust@5619398f40 bump bootsrap windows to 0.57
rust-lang/rust@84ce2e129a bumpt compiler and tools to windows 0.59
rust-lang/rust@c45e97c549 tests: delete cat-and-grep-sanity-check
rust-lang/rust@fdc80af5c5 fix OsString::from_encoded_bytes_unchecked description
rust-lang/rust@51af4d6d22 Add Kobzol on vacation
rust-lang/rust@d10bdafa26 Note that cg_llvm's gimli should match the version used elsewhere
rust-lang/rust@32f1c1d85e Make our DIFlags match LLVMDIFlags in the LLVM-C API
rust-lang/rust@9d88b82b99 Ignore mermaid.min.js
rust-lang/rust@b2b12ae0cb Add an example of using carrying_mul_add to write wider multiplication
rust-lang/rust@6fe82006a4 Update our range assumes to the format that LLVM prefers
rust-lang/rust@0454d7903b Fixup: fix clang command lines in another file
rust-lang/rust@2de21ad7d4 Hash only the spans that we care ended up reading in Span::try_metavars
rust-lang/rust@69b2fc3e2f Hash the untracked macro variable expansions
rust-lang/rust@28a997fa44 Properly record metavar spans for other expansions other than TT
rust-lang/rust@7bfcddf479 byval parameter should have align 8 on aix
rust-lang/rust@cf34545720 CI: build FreeBSD artifacts on FreeBSD 13.4

@github-actions github-actions bot requested a review from a team as a code owner January 23, 2025 03:18
@carolynzech carolynzech reopened this Jan 23, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jan 23, 2025
@carolynzech carolynzech added this pull request to the merge queue Jan 23, 2025
Merged via the queue into main with commit 51383c2 Jan 23, 2025
28 checks passed
@carolynzech carolynzech deleted the toolchain-2025-01-23 branch January 23, 2025 18:47
@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

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.

2 participants

@carolynzech @celinval