Skip to content

Automatic toolchain upgrade to nightly-2025-03-17 #3940

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
Mar 17, 2025
Merged

Automatic toolchain upgrade to nightly-2025-03-17 #3940

merged 1 commit into from
Mar 17, 2025

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Mar 17, 2025

Update Rust toolchain from nightly-2025-03-16 to nightly-2025-03-17 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner March 17, 2025 03:25
@github-actions
Copy link
Contributor Author

github-actions bot commented Mar 17, 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@4d30011 up to
rust-lang/rust@227690a. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/227690a258 Auto merge of #137011 - LuuuXXX:promote-ohos-with-host-tools, r=Amanieu

rust-lang/rust@8b87fefd76 Auto merge of #138537 - yotamofek:pr/lib/multi-char-pattern, r=jhpratt
rust-lang/rust@d497e43a16 Auto merge of #138551 - jieyouxu:rollup-ttktelm, r=jieyouxu
rust-lang/rust@e714c3be9f Rollup merge of #138549 - scottmcm:option-ssa, r=saethlin
rust-lang/rust@c29a29e717 Rollup merge of #137538 - tapanprakasht:fix-doc-path, r=thomcc
rust-lang/rust@26dea1d944 Rollup merge of #137492 - nabijaczleweli:master, r=thomcc
rust-lang/rust@a23a93cb4e Rollup merge of #135080 - Enselic:debug-ptr-metadata, r=thomcc
rust-lang/rust@5f3b84a421 Auto merge of #137278 - heiseish:101210-extra-codegen-tests, r=scottmcm
rust-lang/rust@3d42541313 Fix the OperandRef type for NullOp::{UbChecks,ContractChecks}
rust-lang/rust@66678e6822 Auto merge of #138548 - jieyouxu:rollup-xpslct5, r=jieyouxu
rust-lang/rust@f4372f5d12 Rollup merge of #138484 - xizheyin:issue-138392, r=compiler-errors
rust-lang/rust@c05a643ca8 Rollup merge of #138472 - KonaeAkira:master, r=Mark-Simulacrum
rust-lang/rust@7c1555cb9b Rollup merge of #138471 - spencer3035:move-ui-test-1ofn, r=jieyouxu
rust-lang/rust@e42f33970c Rollup merge of #138465 - klensy:linkchecker-b, r=Mark-Simulacrum
rust-lang/rust@01bc95417c Rollup merge of #138329 - scottmcm:assert-hint, r=Mark-Simulacrum
rust-lang/rust@5b9225070c Rollup merge of #138323 - kpreid:offset-of-doc, r=Mark-Simulacrum
rust-lang/rust@413600c2de Rollup merge of #138309 - DiuDiu777:intrinsic-doc-fix, r=thomcc
rust-lang/rust@7112951caa Rollup merge of #138303 - DiuDiu777:rc-fix, r=Mark-Simulacrum
rust-lang/rust@8210b84aaf Rollup merge of #138275 - folkertdev:expose-is-s390x-feature-detected, r=Mark-Simulacrum
rust-lang/rust@e0846806db Rollup merge of #138082 - thaliaarchi:slice-cfg-not-test, r=thomcc
rust-lang/rust@199e714a66 Rollup merge of #137968 - dingxiangfei2009:patch-1, r=Mark-Simulacrum
rust-lang/rust@8882dac342 Rollup merge of #137956 - compiler-errors:rtn-rustdoc, r=fmease
rust-lang/rust@f16ce2ae6c Rollup merge of #137890 - lolbinarycat:docs-bufreader-peek-consume, r=Mark-Simulacrum
rust-lang/rust@903b526e32 Rollup merge of #137864 - compiler-errors:unsafe-binder-gvn, r=oli-obk
rust-lang/rust@b8c51f4e17 Rollup merge of #137147 - Shourya742:2025-02-16-support-exclude-in-config.toml, r=onur-ozkan
rust-lang/rust@4946818306 Rollup merge of #133055 - kpreid:clone-uninit-doc, r=Mark-Simulacrum
rust-lang/rust@9f274ba399 Auto merge of #137665 - Kobzol:update-sccache, r=marcoieni
rust-lang/rust@e3ac1fa81a Add RTN support to rustdoc
rust-lang/rust@13134dd096 Don't drop Rvalue::WrapUnsafeBinder during GVN
rust-lang/rust@27077b94c2 improves duplicate lang item test
rust-lang/rust@62075593a8 improves duplicate label test
rust-lang/rust@9f06585c0e improves outer mod attribute test
rust-lang/rust@bfe536342f Optimize multi-char string patterns
rust-lang/rust@bc6047a5a7 Use lit span when suggesting suffix lit cast
rust-lang/rust@ccde0a2203 Fix formatting (line too long)
rust-lang/rust@82a79b99e1 Add codegen test for modulo with power-of-two divisor
rust-lang/rust@7b4b4b19e9 bump html5ever to 0.29 with deps
rust-lang/rust@b9e00b32e3 bump html5ever to 0.28
rust-lang/rust@c6ecd8c95c update the test_exclude to not use paths with path separators
rust-lang/rust@9d5f0742a9 make test platform agnostic
rust-lang/rust@22571da9f8 Add change info to change tracker
rust-lang/rust@7d1537e425 add test for exclude feature
rust-lang/rust@ad74285275 add exclude to config.toml
rust-lang/rust@2f824ea429 Update library/core/src/intrinsics/mod.rs
rust-lang/rust@6a01990215 Update library/core/src/intrinsics/mod.rs
rust-lang/rust@d2ff65807c Update library/core/src/intrinsics/mod.rs
rust-lang/rust@7d141dc12e Remove sccache-plus-cl MSVC hack
rust-lang/rust@36719a90f7 Update sccache to 0.10.0
rust-lang/rust@0fba203d9e added some new test to check for result and options opt
rust-lang/rust@3c74d02319 debug-assert that the size_hint is well-formed in collect
rust-lang/rust@8f32547147 Move offset_of_enum documentation to unstable book; add offset_of_slice.
rust-lang/rust@58d4395c1a Expand and organize offset_of! documentation.
rust-lang/rust@96814ae55f Rewrite example to not deal with Copy at all.
rust-lang/rust@2cc999d0d4 Rewrite comments about dropping and leaking.
rust-lang/rust@48a54d026d add missing doc for intrinsic
rust-lang/rust@fa183ad827 fix copy typo
rust-lang/rust@55c658b242 fix ptr inconsistency in Rc Arc
rust-lang/rust@a312635821 expose is_s390x_feature_detected from std::arch
rust-lang/rust@769425a4ea Expand CloneToUninit documentation.
rust-lang/rust@638b226a6a Remove #[cfg(not(test))] gates in core
rust-lang/rust@4cd350f616 remove zip file in /tmp to save some space and use large runner
rust-lang/rust@23adb46b47 disable link libstdc++ statically
rust-lang/rust@f3312609f7 add note for miri
rust-lang/rust@3eb04fd590 add support for extend rust tools and sanitizer
rust-lang/rust@4dab55bcaa Revert "add fix for full tools and sanitizer"
rust-lang/rust@6efacfb7a5 add fix for full tools and sanitizer
rust-lang/rust@7279acf202 use measureme-12.0.1
rust-lang/rust@6324b39873 promote ohos targets to tier to with host tools
rust-lang/rust@69ef2fc908 fix: properly escape regexes
rust-lang/rust@57046e1470 doc: clarify that consume can be called after BufReader::peek
rust-lang/rust@f63981e091 fix doc path in std::fmt macro
rust-lang/rust@74ec86248a libstd: rustdoc: correct note on fds 0/1/2 pre-main
rust-lang/rust@697737a8b1 core: Make Debug impl of raw pointers print metadata if present
rust-lang/rust@d16da3b8b2 core: Document why Pointee::Metadata can't have 'static bound
rust-lang/rust@9479b6f0ea tests: Add regression test for Debug impl of raw pointers
rust-lang/rust@7176320821 tests: Use as *const _ instead of .as_ptr() in ptr fmt test

@tautschnig tautschnig closed this Mar 17, 2025
@tautschnig tautschnig reopened this Mar 17, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Mar 17, 2025
@carolynzech carolynzech added this pull request to the merge queue Mar 17, 2025
Merged via the queue into main with commit 3f2fd03 Mar 17, 2025
25 checks passed
@carolynzech carolynzech deleted the toolchain-2025-03-17 branch March 17, 2025 14:16
@carolynzech carolynzech mentioned this pull request Apr 3, 2025
Merged
github-merge-queue bot pushed a commit that referenced this pull request Apr 4, 2025
Bump Kani version to 0.61.0 (#3989)
3a82c3b 
Bump Kani version to 0.61.0.

Github-generated release notes:

## What's Changed
* Fix CHANGELOG of 0.60.0 by @qinheping in
#3925
* Bump tests/perf/s2n-quic from `d88faa4` to `8670e83` by @dependabot in
#3928
* Update toolchain to 2025-03-04 by @qinheping in
#3927
* Install the right toolchain for HEAD and BASE checks in
`verify-std-check.yml` by @remi-delmas-3000 in
#3920
* Automatic cargo update to 2025-03-10 by @github-actions in
#3926
* Automatic toolchain upgrade to nightly-2025-03-05 by @github-actions
in #3929
* Upgrade toolchain to nightly-2025-03-07 by @tautschnig in
#3931
* Upgrade toolchain to nightly-2025-03-12 by @tautschnig in
#3933
* Automatic toolchain upgrade to nightly-2025-03-13 by @github-actions
in #3934
* Update CBMC dependency to 6.5.0 by @tautschnig in
#3936
* Automatic toolchain upgrade to nightly-2025-03-14 by @github-actions
in #3937
* Automatic toolchain upgrade to nightly-2025-03-15 by @github-actions
in #3938
* Automatic toolchain upgrade to nightly-2025-03-16 by @github-actions
in #3939
* Automatic toolchain upgrade to nightly-2025-03-17 by @github-actions
in #3940
* Automatic cargo update to 2025-03-17 by @github-actions in
#3941
* Autoharness: Don't panic on `_` argument and add `_autoharness` suffix
to GOTO files by @carolynzech in
#3942
* Implement `f16` and `f128` cases in `codegen_float_type` by
@carolynzech in #3943
* Support function implementations of known built-ins by @tautschnig in
#3945
* Autoharness: metadata improvements and enable standard library
application by @carolynzech in
#3948
* Autoharness: `--list` option by @carolynzech in
#3952
* Add support for anonymous nested statics by @carolynzech in
#3953
* Automatic cargo update to 2025-03-24 by @github-actions in
#3954
* Bump tests/perf/s2n-quic from `8670e83` to `324cf31` by @dependabot in
#3955
* Document behavior of checked_size_of_raw and is_inbounds by @rajath-mk
in #3956
* Upgrade toolchain to 2025-03-18 by @zhassan-aws in
#3959
* Remove unstable-features from code formatting script by @zhassan-aws
in #3962
* Remove CI job to update features/verify-rust-std by @tautschnig in
#3963
* Make is_inbounds public by @rajath-mk in
#3958
* Enable Kani to work with a stable toolchain by @zhassan-aws in
#3964
* Automatic cargo update to 2025-03-31 by @github-actions in
#3966
* Add support for struct field accessing in loop contracts by
@thanhnguyen-aws in #3970
* Bump tests/perf/s2n-quic from `324cf31` to `d0aff82` by @dependabot in
#3968
* Clarify `is_inbounds` docs by @carolynzech in
#3974
* Upgrade toolchain to 2025-04-01 by @carolynzech in
#3973
* Remove remaining `--enable-unstable` mentions by @carolynzech in
#3978
* Clean up unused dependencies by @zhassan-aws in
#3981
* Automatic toolchain upgrade to nightly-2025-04-02 by @github-actions
in #3983
* Update dependencies per `cargo-outdated` by @carolynzech in
#3982
* Fix `autoharness` termination test & print metadata in alphabetical
order by @carolynzech in
#3971
* Fix cargo invocations to only use `pkg_args` where appropriate by
@carolynzech in #3984


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

By submitting this pull request, I confirm that my contribution is made
under the terms of the Apache 2.0 and MIT licenses.
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.

3 participants

@carolynzech @tautschnig @celinval