Skip to content

Conversation

@github-actions
Copy link
Contributor

Update Rust toolchain from nightly-2025-05-27 to nightly-2025-05-28 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner May 28, 2025 03:32
@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@2805e1d up to
rust-lang/rust@45f256d. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/45f256d9d7 Auto merge of #141662 - matthiaskrgr:rollup-9kt4zj7, r=matthiaskrgr

rust-lang/rust@c7d0a61e22 Rollup merge of #141654 - durin42:randomly-fixed-test, r=jieyouxu
rust-lang/rust@003fbf1fad Rollup merge of #141650 - Zalathar:revert-unused-local-file, r=Zalathar
rust-lang/rust@043e498062 Rollup merge of #141645 - klensy:fluent-b, r=jieyouxu
rust-lang/rust@09e643f963 Rollup merge of #141640 - Fabian-Gruenbichler:mr/test-version-check-rpath-false, r=jieyouxu
rust-lang/rust@7807f5f0cb Rollup merge of #141632 - fee1-dead-contrib:push-txmttkxvwqxl, r=oli-obk
rust-lang/rust@732f671c53 Rollup merge of #141602 - jieyouxu:llvm-submodule, r=apiraino
rust-lang/rust@16af814a4e Rollup merge of #141495 - compiler-errors:rename-unpack, r=fmease
rust-lang/rust@88b12f3649 Rollup merge of #141312 - cberner:filelock_from, r=joshtriplett
rust-lang/rust@c583fa6d84 Auto merge of #141644 - compiler-errors:rollup-gl5hize, r=compiler-errors
rust-lang/rust@a963e6fc38 tests: mark option-niche-eq as fixed on LLVM 21
rust-lang/rust@3f526eeec4 coverage: Revert "unused local file IDs" due to empty function names
rust-lang/rust@642e49bfed Auto merge of #141641 - marcoieni:codebuild-ghcr-pr-job, r=Kobzol
rust-lang/rust@e25cf45daa triagebot: label src/llvm-project and rustc_{llvm, codegen_llvm} changes with A-LLVM
rust-lang/rust@5f3ae06db0 Fix some var names
rust-lang/rust@29c3babd7c Rename unpack to kind
rust-lang/rust@e6312c9232 bump fluent-* crates
rust-lang/rust@d7e961a4c9 Rollup merge of #141635 - fee1-dead-contrib:push-lmyymwotrspk, r=oli-obk
rust-lang/rust@f0ee1d7100 Rollup merge of #141623 - folkertdev:va-arg-explicit-types, r=workingjubilee
rust-lang/rust@1aa6a27ea6 Rollup merge of #141616 - spastorino:remove-spastorino-on-vacations, r=spastorino
rust-lang/rust@761dbc788d Rollup merge of #141611 - ehuss:update-mdbook, r=Mark-Simulacrum
rust-lang/rust@2de2e652ad Rollup merge of #141599 - nnethercote:rm-Box-into_inner, r=fmease,chenyukang
rust-lang/rust@4b47bd439e Rollup merge of #141596 - tshepang:patch-2, r=Urgau
rust-lang/rust@6344245e4f Rollup merge of #141594 - BoxyUwU:another_gai_test, r=jieyouxu
rust-lang/rust@38d18626b1 Rollup merge of #141587 - ferrocene:lw-yurotqzwvwlw, r=jieyouxu
rust-lang/rust@9d46af12e0 Rollup merge of #141584 - compiler-errors:typing-env-synthetic-body, r=lcnr
rust-lang/rust@fb4cc991c0 Rollup merge of #141582 - RalfJung:cleanup, r=bjorn3
rust-lang/rust@fbac805425 Rollup merge of #141580 - oli-obk:early-dyn-catches-the-incompat, r=compiler-errors
rust-lang/rust@2c5361a309 Rollup merge of #141568 - onur-ozkan:141393-fix, r=Kobzol
rust-lang/rust@7acdffb6e4 Rollup merge of #141563 - nnethercote:rm-noop, r=petrochenkov
rust-lang/rust@f1371a8891 Rollup merge of #141556 - jeremyd2019:patch-1, r=jieyouxu
rust-lang/rust@b7854c65a9 Rollup merge of #141552 - jieyouxu:cfg-version-tests, r=est31
rust-lang/rust@a0d77f37f3 Rollup merge of #141536 - Urgau:ambi_wide_ptr-cmp-diag, r=fee1-dead
rust-lang/rust@77e35944af Rollup merge of #140591 - Kivooeo:new-fix-five, r=davidtwco
rust-lang/rust@7314994008 ci: use ghcr registry for x86_64-gnu-tools job
rust-lang/rust@0fc6f1672b Auto merge of #141634 - Kobzol:try-perf, r=pietroalbini
rust-lang/rust@89c21f7c1a Remove out-of-date noop_* names.
rust-lang/rust@dd148a0696 test: convert version_check ui test to run-make
rust-lang/rust@3fff727e87 Use more detailed spans in dyn compat errors within bodies
rust-lang/rust@e0d4cf38f4 further dedup WalkItemKind for mut_visit and visit
rust-lang/rust@7fae5efa4d Fix CI for unrolled builds on the try-perf branch
rust-lang/rust@7fdf35ed1c remove visit_mt from ast::mut_visit
rust-lang/rust@d76fe15402 Auto merge of #140790 - quininer:mac-xray, r=wesleywiser,jieyouxu
rust-lang/rust@7fe8263285 use custom types to clarify arguments to emit_ptr_va_arg
rust-lang/rust@c8ed2a7423 Remove spastorino from vacations
rust-lang/rust@6a8663ae26 Update mdbook to 0.4.51
rust-lang/rust@108c16eebd bootstrap: translate Windows paths in a way that works for both Cygwin and MSYS2
rust-lang/rust@19802e8e9c Remove an unnecessary use of Box::into_inner.
rust-lang/rust@0497f31122 rustc book: fix erratic sentence by making it more simple
rust-lang/rust@c27aff35ca Add test
rust-lang/rust@1d35ac9ce0 Add missing edition directives for async-await tests
rust-lang/rust@5e31cd30aa Support opaque_types_defined_by for SyntheticCoroutineBody
rust-lang/rust@0ea12c3c5f cfg_version: pull out dedicated syntax test from feature gate test
rust-lang/rust@b71a1279a1 dist: make sure llvm-project submodule is present
rust-lang/rust@45ed022d63 Add compiler tests for xray
rust-lang/rust@77e295c39c Improve ambiguous_wide_pointer_comparisons lint compare diagnostics
rust-lang/rust@ff3341434d ScalarInt: support conversion with signed int types and cmp::Ordering
rust-lang/rust@72386693b1 intrinsics: reduce references to LLVM and update notes on where the implementations live
rust-lang/rust@1758f07cb8 Enable xray support for Mac
rust-lang/rust@fd260d530b Add From for io::Error
rust-lang/rust@9febbf8270 Remove unnecessary handling of ERROR_IO_PENDING
rust-lang/rust@3cd065d3d3 macro expansion issue

@zhassan-aws zhassan-aws reopened this May 28, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label May 28, 2025
@zhassan-aws zhassan-aws added this pull request to the merge queue May 28, 2025
Merged via the queue into main with commit cdad3f9 May 28, 2025
25 of 26 checks passed
@zhassan-aws zhassan-aws deleted the toolchain-2025-05-28 branch May 28, 2025 08:15
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 <[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.

2 participants