Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2025-02-11 to nightly-2025-02-12 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner February 21, 2025 20:49
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@6171d94 up to
rust-lang/rust@92bedea. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/92bedea1c5 Auto merge of #136605 - lsunsi:update-rustc-hash, r=lqd

rust-lang/rust@06a24e98c6 Auto merge of #136586 - Kobzol:lto-rustdoc-fix-stage-1, r=onur-ozkan
rust-lang/rust@8c61cd4df8 Auto merge of #136571 - marcoieni:ubuntu-24-large-runners, r=Mark-Simulacrum
rust-lang/rust@69482e8e5a Auto merge of #136851 - jhpratt:rollup-ftijn95, r=jhpratt
rust-lang/rust@21303103c3 Rollup merge of #136839 - lukas-code:actually-monomorphic-enough, r=compiler-errors
rust-lang/rust@4ae214b846 Rollup merge of #136837 - compiler-errors:contracts-body-lowering, r=celinval
rust-lang/rust@94bf32e719 Rollup merge of #136835 - compiler-errors:contracts-span-hack, r=celinval
rust-lang/rust@9f86dcca48 Rollup merge of #136832 - ehuss:fix-platform-table, r=compiler-errors
rust-lang/rust@e68a86569b Rollup merge of #136830 - RalfJung:hurd-x87-footnote, r=Noratrieb
rust-lang/rust@c49ffaf7eb Rollup merge of #136813 - mrkajetanp:aarch32-fp16-target-feature, r=davidtwco
rust-lang/rust@6153a8dcea Rollup merge of #136721 - dpaoliello:cleanllvm2, r=Zalathar
rust-lang/rust@2996cfdcc3 Rollup merge of #136704 - benschulz:patch-1, r=ibraheemdev
rust-lang/rust@aaf2c46202 Rollup merge of #136672 - safinaskar:alloc-2025-02-07-09-10, r=cuviper
rust-lang/rust@67e4e3aea9 Rollup merge of #136663 - WaffleLapkin:count-non-zero-ones, r=cuviper
rust-lang/rust@a6052058cd Rollup merge of #136606 - thaliaarchi:format-long-lines, r=ibraheemdev
rust-lang/rust@c182ce9cbc Auto merge of #136845 - matthiaskrgr:rollup-ol4np4z, r=matthiaskrgr
rust-lang/rust@593c88fc49 Fix long lines which rustfmt fails to format
rust-lang/rust@ffa9afef18 Auto merge of #127541 - estebank:diff-suggestions, r=petrochenkov
rust-lang/rust@5a44f78269 Rollup merge of #136825 - rustbot:docs-update, r=ehuss
rust-lang/rust@b38a6c0c1b Rollup merge of #136821 - marcoieni:infra-ci-review, r=jackh726
rust-lang/rust@38f4c1f49a Rollup merge of #136603 - workingjubilee:move-abi-versioning-into-ast, r=compiler-errors
rust-lang/rust@c92aae90e4 Rollup merge of #136584 - oli-obk:pattern-types-generic, r=BoxyUwU
rust-lang/rust@66573926f2 Rollup merge of #136524 - compiler-errors:bad-pick, r=BoxyUwU
rust-lang/rust@7b490494f2 Rollup merge of #136155 - tmiasko:msvc-enable-sanitizers, r=Mark-Simulacrum
rust-lang/rust@af3c51d849 Rollup merge of #136107 - dingxiangfei2009:coerce-pointee-wellformed, r=compiler-errors
rust-lang/rust@c1da4f1d3c fix ensure_monomorphic_enough
rust-lang/rust@4898753d5d add test for const type_id misoptimization
rust-lang/rust@4f18560d06 Don't ICE when failing to lower contracts for associated impl items
rust-lang/rust@f0845adb0c Show diff suggestion format on verbose replacement
rust-lang/rust@f78099e618 Fix imports, remove attrs for unused_*
rust-lang/rust@28164e3c04 Stop using span hack for contracts feature gating
rust-lang/rust@d32cd295b3 Fix platform support table for i686-unknown-uefi
rust-lang/rust@bce3d64fca fix i686-unknown-hurd-gnu x87 footnote
rust-lang/rust@5f29273921 rustc_codegen_llvm: Mark items as pub(crate) outside of the llvm module
rust-lang/rust@387099b741 Update books
rust-lang/rust@17026e2412 Reword doc comment on CoercePointeeValidated
rust-lang/rust@1dc575ca2b assign marcoieni and jdno to infra-ci PRs
rust-lang/rust@cd9d39e360 compiler: remove abi-specific extern "{abi}" suggestions
rust-lang/rust@54ff6e0ad5 compiler: remove rustc_target::spec::abi reexports
rust-lang/rust@ca193471b5 tests: error strings for ABI stability now match
rust-lang/rust@90c50f0164 compiler: start using rustc_ast_lowering in rustc_passes
rust-lang/rust@3f50076fb3 compiler: gate extern "{abi}" in ast_lowering
rust-lang/rust@aea5595c86 fix the error code document
rust-lang/rust@18483434ae block coerce_pointee_validated for stabilization
rust-lang/rust@b9435056a7 move repr(transparent) checks to coherence
rust-lang/rust@c067324637 rename the trait to validity and place a feature gate afront
rust-lang/rust@de405dcb8f introduce CoercePointeeWellformed for coherence checks at typeck stage
rust-lang/rust@8ea20c82bb Improve examples for file locking
rust-lang/rust@53f9852224 rustc_target: Add the fp16 target feature for AArch32
rust-lang/rust@ac31e9572b library: doc: core::alloc::Allocator: trivial typo fix
rust-lang/rust@82b32ba03d stabilize NonZero::count_ones
rust-lang/rust@0d9cb9c01d ci: use ubuntu 24 for x86 large runners
rust-lang/rust@fab6d8ae8c Prevent generic pattern types from being used in libstd
rust-lang/rust@cfa3518951 Only apply LTO to rustdoc at stage 2
rust-lang/rust@62c2f65ccd chore: update rustc-hash 2.1.0 to 2.1.1
rust-lang/rust@aa884da1e7 Delay bug when method confirmation cannot upcast object pick of self
rust-lang/rust@1ba2153a05 Enable sanitizers on MSVC CI jobs

@carolynzech carolynzech reopened this Feb 21, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Feb 21, 2025
@zhassan-aws zhassan-aws added this pull request to the merge queue Feb 21, 2025
Merged via the queue into main with commit fe0d9d2 Feb 21, 2025
27 of 28 checks passed
@zhassan-aws zhassan-aws deleted the toolchain-2025-02-12 branch February 21, 2025 23:33
github-merge-queue bot pushed a commit that referenced this pull request Mar 6, 2025
## What's Changed
* Automatic cargo update to 2025-02-10 by @github-actions in
#3880
* Bump tests/perf/s2n-quic from `82dd0b5` to `a5d8422` by @dependabot in
#3882
* Fast fail feature - Stops verification process as soon as one failure
is observed - Use case : CI speed up by @rajath-mk in
#3879
* Autoharness Subcommand by @carolynzech in
#3874
* Upgrade toolchain to 2/10 by @carolynzech in
#3883
* Add loop-contracts doc to SUMMARY by @qinheping in
#3886
* Support concrete playback for arrays of length 65 or greater by
@carolynzech in #3888
* Automatic cargo update to 2025-02-17 by @github-actions in
#3889
* Bump tests/perf/s2n-quic from `a5d8422` to `00e3371` by @dependabot in
#3894
* Adjust PropertyClass of assertions to identify UB by @tautschnig in
#3860
* Fix: regression test from #3888 has version control change by
@carolynzech in #3892
* Upgrade toolchain to 2025-02-11 by @thanhnguyen-aws in
#3887
* Remove isize overflow check for zst offsets by @carolynzech in
#3897
* Automatic toolchain upgrade to nightly-2025-02-12 by @github-actions
in #3898
* Upgrade the toolchain to 2025-02-21 by @zhassan-aws in
#3899
* Automatic cargo update to 2025-02-24 by @github-actions in
#3901
* Bump ncipollo/release-action from 1.15.0 to 1.16.0 by @dependabot in
#3902
* Bump tests/perf/s2n-quic from `00e3371` to `cfb314b` by @dependabot in
#3903
* Convert raw URL to link by @flba-eb in
#3907
* Automatic cargo update to 2025-03-03 by @github-actions in
#3913
* Install toolchain with rustup >= 1.28.0 by @tautschnig in
#3917
* Bump tests/perf/s2n-quic from `cfb314b` to `d88faa4` by @dependabot in
#3916
* Remove Ubuntu 20.04 CI usage by @tautschnig in
#3918
* Move standard-library metrics script to verify-rust-std repo by
@tautschnig in #3914
* scanner: Fix loop stats in overall function stats summary by
@tautschnig in #3915
* Update toolchain to 2025-03-02 by @remi-delmas-3000 in
#3911

## New Contributors
* @flba-eb made their first contribution in
#3907

**Full Changelog**:
kani-0.59.0...kani-0.60.0

---------

Co-authored-by: Carolyn Zech <cmzech@amazon.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