Skip to content

Automatic toolchain upgrade to nightly-2025-05-10 #4073

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.

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

Merged
merged 1 commit into from
May 14, 2025

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2025-05-09 to nightly-2025-05-10 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner May 14, 2025 15:32
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@50aa041 up to
rust-lang/rust@dcecb99. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/dcecb99176 Auto merge of #140839 - pietroalbini:pa-version-bump, r=pietroalbini

rust-lang/rust@7dae31828b Disarm time bomb (diagnostics)
rust-lang/rust@767d64da45 bump version number to 1.89.0
rust-lang/rust@da1e442ebd Auto merge of #140838 - Zalathar:rollup-13hybry, r=Zalathar
rust-lang/rust@d91e86e963 Rollup merge of #140828 - dpaoliello:arm64fp, r=workingjubilee
rust-lang/rust@e3873f51a1 Rollup merge of #140817 - RalfJung:bootstrap-msg, r=jieyouxu
rust-lang/rust@c922eb9a9d Rollup merge of #140812 - jieyouxu:typo-fix, r=aDotInTheVoid
rust-lang/rust@16ca18d1da Rollup merge of #140804 - bend-n:signed, r=lcnr
rust-lang/rust@b165a4c280 Rollup merge of #140801 - xizheyin:issue-140747, r=SparrowLii
rust-lang/rust@a7b1b24587 Auto merge of #140252 - nnethercote:rm-Ident-empty, r=oli-obk
rust-lang/rust@0984db553d Remove Ident::empty.
rust-lang/rust@c8b7f32434 Auto merge of #140176 - dpaoliello:arm64ecdec, r=wesleywiser
rust-lang/rust@667247db71 Auto merge of #140818 - matthiaskrgr:rollup-5eaotr2, r=matthiaskrgr
rust-lang/rust@d951c41a68 Enable non-leaf Frame Pointers for Arm64 Windows
rust-lang/rust@4e4d6ad43c Rollup merge of #140811 - jieyouxu:notes, r=Urgau
rust-lang/rust@196b5cbb9b Rollup merge of #140802 - BoxyUwU:relnotes_1_87_0, r=pietroalbini
rust-lang/rust@8d7a4c286b Rollup merge of #140800 - GuillaumeGomez:rustdoc-tempdir-removal, r=jieyouxu
rust-lang/rust@1aa0dd2dc8 Rollup merge of #140716 - Urgau:improve-remap_scope-tests, r=jieyouxu
rust-lang/rust@f7168af76f Rollup merge of #140707 - compiler-errors:range-pat-struct-norm, r=lcnr
rust-lang/rust@a054be7434 Rollup merge of #140684 - compiler-errors:unnecessary-assoc, r=lcnr
rust-lang/rust@32e3207969 Rollup merge of #140341 - saethlin:black-box-qoi, r=Mark-Simulacrum
rust-lang/rust@6914d83de9 Rollup merge of #140095 - nnethercote:rm-word_or_empty, r=jdonszelmann
rust-lang/rust@0326a2c315 bootstrap: more consistent use of ... when citing configuration snippets
rust-lang/rust@3b4c4938c5 add signed integers to unnecessary_lints to ensure feature parity with clippy
rust-lang/rust@eff20bfd29 Fix tests/rustdoc-json path
rust-lang/rust@c9a96eb379 Enable triagebot note functionality for rust-lang/rust
rust-lang/rust@9af6ee50ed Structurally resolve in check_ref_cast and calc_adjust_mode
rust-lang/rust@a278f8dcea Add release notes for 1.87.0
rust-lang/rust@41ff588c70 Make rustdoc-tempdir-removal run-make tests work on other platforms than linux
rust-lang/rust@88c1796384 Use span before macro expansion in lint for-loops-over-falibles
rust-lang/rust@c0f0b5157f Add ui test for for-loops-over-falibles
rust-lang/rust@f501775ec8 Indicate that the warning on black_box is a general property of Rust
rust-lang/rust@f959039994 Rework -Zremap-path-scope macro test with dependency check
rust-lang/rust@fc0f0a8add Add tests for -Zremap-path-scope and paths in diagnostics with deps
rust-lang/rust@6dabf7ea3a [Arm64EC] Only decorate functions with #
rust-lang/rust@3799d8427a Review
rust-lang/rust@fd37906477 Only include associated type bounds for Self:Sized associated types if they are provided
rust-lang/rust@603766cd72 Avoid some unwraps.
rust-lang/rust@d81472f266 Eliminate word_or_empty methods.

@carolynzech carolynzech reopened this May 14, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label May 14, 2025
@zhassan-aws zhassan-aws added this pull request to the merge queue May 14, 2025
Merged via the queue into main with commit 85b6989 May 14, 2025
25 of 26 checks passed
@zhassan-aws zhassan-aws deleted the toolchain-2025-05-10 branch May 14, 2025 19:38
github-merge-queue bot pushed a commit that referenced this pull request Jun 9, 2025
These are the automatically-generated release notes:
```
## What's Changed
* Toolchain upgrade to nightly-2025-05-04 by @thanhnguyen-aws in #4059
* Automatic toolchain upgrade to nightly-2025-05-05 by @github-actions in #4060
* Automatic toolchain upgrade to nightly-2025-05-06 by @github-actions in #4061
* Enable target features: x87 and sse2 by @thanhnguyen-aws in #4062
* Fix the bug: Loop contracts are not composable with function contracts  by @thanhnguyen-aws in #3979
* Automatic cargo update to 2025-05-12 by @github-actions in #4066
* Bump tests/perf/s2n-quic from `6aa9975` to `5f323b7` by @dependabot in #4068
* Fix stabilization instructions in RFC intro by @carolynzech in #4067
* Add support for quantifiers by @qinheping in #3993
* Toolchain upgrade to nightly-2025-05-07 by @thanhnguyen-aws in #4070
* Automatic toolchain upgrade to nightly-2025-05-08 by @github-actions in #4071
* Automatic toolchain upgrade to nightly-2025-05-09 by @github-actions in #4072
* Automatic toolchain upgrade to nightly-2025-05-10 by @github-actions in #4073
* Clippy/Stylistic Fixes by @carolynzech in #4074
* Upgrade toolchain to 2025-05-14 by @zhassan-aws in #4076
* Autoharness argument validation: only error on `--quiet` if `--list` was passed by @carolynzech in #4069
* Upgrade Rust toolchain to 2025-05-16 by @zhassan-aws in #4080
* Automatic toolchain upgrade to nightly-2025-05-17 by @github-actions in #4081
* Add setup scripts for Ubuntu 20.04 by @zhassan-aws in #4082
* Automatic toolchain upgrade to nightly-2025-05-18 by @github-actions in #4083
* Automatic cargo update to 2025-05-19 by @github-actions in #4086
* Automatic toolchain upgrade to nightly-2025-05-19 by @github-actions in #4085
* Automatic toolchain upgrade to nightly-2025-05-20 by @github-actions in #4091
* Bump tests/perf/s2n-quic from `5f323b7` to `22434aa` by @dependabot in #4089
* Fix the error that Kani panics when there is no external parameter in quantifier's closure. by @thanhnguyen-aws in #4088
* Update toolchain to 2025-05-22 by @carolynzech in #4098
* Use our toolchain when invoking `cargo metadata` by @carolynzech in #4090
* Automatic toolchain upgrade to nightly-2025-05-23 by @github-actions in #4099
* Automatic toolchain upgrade to nightly-2025-05-24 by @github-actions in #4101
* Automatic toolchain upgrade to nightly-2025-05-25 by @github-actions in #4102
* Fix a bug codegening `SwitchInt`s with only an otherwise branch by @bkirwi in #4095
* Automatic toolchain upgrade to nightly-2025-05-26 by @github-actions in #4104
* Automatic cargo update to 2025-05-26 by @github-actions in #4105
* Bump tests/perf/s2n-quic from `22434aa` to `550afb3` by @dependabot in #4106
* Automatic toolchain upgrade to nightly-2025-05-27 by @github-actions in #4107
* Update `kani::mem` pointer validity documentation by @carolynzech in #4092
* Add support for edition 2018 crates using assert! (Fixes #3717) by @sintemal in #4096
* Automatic toolchain upgrade to nightly-2025-05-28 by @github-actions in #4113
* Automatic toolchain upgrade to nightly-2025-05-29 by @github-actions in #4115
* Automatic toolchain upgrade to nightly-2025-05-30 by @github-actions in #4118
* Handle generic defaults in BoundedArbitrary derives by @zhassan-aws in #4117
* Automatic cargo update to 2025-06-02 by @github-actions in #4121
* Bump tests/perf/s2n-quic from `550afb3` to `8f54b57` by @dependabot in #4122
* Upgrade Rust toolchain to 2025-06-02 by @zhassan-aws in #4123
* Automatic toolchain upgrade to nightly-2025-06-03 by @github-actions in #4125
* Finish deprecating `--enable-unstable`, `--restrict-vtable`, and `--write-json-symtab` by @carolynzech in #4110
* `ty_mangled_name`: only use non-mangled name if `-Zcffi` is enabled. by @carolynzech in #4114
* Improve Help Menu by @carolynzech in #4109
* Start stabilizing `--jobs` and `list`; deprecate default memory checks by @carolynzech in #4108
* Refactor simd_bitmask to reduce the number of iterations by @zhassan-aws in #4129
* Set target features depending on the target architecture by @zhassan-aws in #4127
* Bump some versions suggested by cargo-outdated by @zhassan-aws in #4131
* Improve linking error output for `#[no_std]` crates by @AlexanderPortland in #4126
* Fix the git log command in the toolchain update script by @zhassan-aws in #4139
* Gate quantifiers behind an experimental feature by @thanhnguyen-aws in #4141
* Automatic cargo update to 2025-06-09 by @github-actions in #4145

## New Contributors
* @bkirwi made their first contribution in #4095
* @sintemal made their first contribution in #4096
* @AlexanderPortland made their first contribution in #4126

**Full Changelog**: kani-0.62.0...kani-0.63.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: Carolyn Zech <carolynzech@gmail.com>
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.

2 participants