Skip to content

Automatic toolchain upgrade to nightly-2025-03-15 #3938

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

Automatic toolchain upgrade to nightly-2025-03-15 #3938

merged 1 commit into from
Mar 15, 2025

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2025-03-14 to nightly-2025-03-15 without any other source changes.

@github-actions 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@cbfdf0b up to
rust-lang/rust@ecade53. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/ecade534c6 Auto merge of #138506 - fmease:rollup-ve4h2eq, r=fmease

rust-lang/rust@401b325fb7 Rollup merge of #138495 - ChrisDenton:vacate, r=ChrisDenton
rust-lang/rust@c5e3857492 Rollup merge of #138487 - Kobzol:fix-doc-url-docker, r=marcoieni
rust-lang/rust@8eeecb78ca Rollup merge of #138485 - BoxyUwU:rdg-push, r=jieyouxu
rust-lang/rust@c42866f89d Rollup merge of #138477 - compiler-errors:deny-bikeshed-guaranteed-no-drop, r=lcnr
rust-lang/rust@1e7441f145 Rollup merge of #138469 - tshepang:patch-6, r=onur-ozkan
rust-lang/rust@40ac358b81 Rollup merge of #138452 - Kobzol:remove-run-check-with-parallel-queries, r=Mark-Simulacrum,onur-ozkan
rust-lang/rust@ffa96fe451 Rollup merge of #138353 - RalfJung:expose-provenance-must-use, r=ibraheemdev
rust-lang/rust@881d237cd9 Rollup merge of #137619 - Pyr0de:issue_137249, r=fmease
rust-lang/rust@f8842bd752 Rollup merge of #134720 - malezjaa:feat/crate-type-valid-values, r=jieyouxu
rust-lang/rust@cb50d4d856 Auto merge of #137424 - Ayush1325:uefi-path-node, r=nicholasbishop,cuviper
rust-lang/rust@db8aa92a47 Take a break from reviews
rust-lang/rust@2aa68ac429 Remove RUN_CHECK_WITH_PARALLEL_QUERIES
rust-lang/rust@7afad54758 Pass CI_JOB_DOC_URL to Docker
rust-lang/rust@3d9bf08289 Merge pull request #2283 from jieyouxu/sync
rust-lang/rust@90bf2b159a Show valid crate types when the user passes unknown --crate-type value
rust-lang/rust@f7b4354283 Auto merge of #138480 - jhpratt:rollup-y3b8wu5, r=jhpratt
rust-lang/rust@a863f2c6b2 Merge pull request #2285 from KonaeAkira/master
rust-lang/rust@dea8a15d21 Rollup merge of #138466 - cuviper:libs-review, r=jieyouxu
rust-lang/rust@db022a82a5 Rollup merge of #138461 - WaffleLapkin:indate-comment, r=ehuss
rust-lang/rust@f6fcae0015 Rollup merge of #138457 - bjorn3:redox_scheme_paths, r=Noratrieb
rust-lang/rust@f5055722b6 Rollup merge of #138442 - dianne:deref-pat-euv-fix, r=compiler-errors
rust-lang/rust@7de35c8bb8 Rollup merge of #138441 - tshepang:patch-5, r=jieyouxu
rust-lang/rust@fb2a7fa209 Rollup merge of #138434 - compiler-errors:lint-level-pat-field, r=jieyouxu
rust-lang/rust@e928a8f4a0 Rollup merge of #138432 - weihanglo:lld, r=lqd
rust-lang/rust@91e4bab25f Rollup merge of #138398 - RalfJung:atomic-intrinsics-provenance, r=nnethercote
rust-lang/rust@637f059aef Rollup merge of #138396 - Kobzol:ci-metrics, r=marcoieni
rust-lang/rust@82d4ab6105 Rollup merge of #138389 - onur-ozkan:use-expect, r=jieyouxu
rust-lang/rust@b9c33fac62 Rollup merge of #138179 - cuviper:x, r=jieyouxu
rust-lang/rust@936e51ee12 Rollup merge of #137870 - karolzwolak:lazylock-const-hashmaps-137566, r=cuviper
rust-lang/rust@6ae5c8df1d Rollup merge of #136911 - Kobzol:ci-helper-link, r=marcoieni
rust-lang/rust@459352a217 Rollup merge of #136892 - erickt:fuchsia-target, r=jieyouxu
rust-lang/rust@595c624fbe Rollup merge of #136230 - clarfonthey:net-memory-layout-assumptions, r=cuviper
rust-lang/rust@c62707eb74 Rollup merge of #136001 - hkBst:patch-21, r=cuviper
rust-lang/rust@523c507d26 Auto merge of #138157 - scottmcm:inline-more-tiny-things, r=oli-obk
rust-lang/rust@4c32adbadb Deny impls for BikeshedGuaranteedNoDrop
rust-lang/rust@addae0705c Auto merge of #138391 - scottmcm:SSA-discriminants, r=WaffleLapkin
rust-lang/rust@88aaf1d25a Fix grammar and remove redundant info
rust-lang/rust@43499bfe2e Remove has_redox_scheme
rust-lang/rust@54d26b3756 remove comment regarding a removed test directive
rust-lang/rust@27d71f0946 Merge pull request #2284 from rust-lang/cuviper-patch-1
rust-lang/rust@496788a490 Record the new settings checksums
rust-lang/rust@8c91fae5be Remove separate src/tools/x from rust-analyzer settings
rust-lang/rust@66deb691d6 Alphabetize the root workspace members
rust-lang/rust@abed12a132 Add src/tools/x to the main workspace
rust-lang/rust@190187bfa7 Remove the doc for no-system-llvm
rust-lang/rust@c88dfb2fc4 Remove myself from libs review
rust-lang/rust@2c76bf7431 Remove an outdated line from a test comment
rust-lang/rust@83ee034d03 Remove usage of legacy scheme paths on RedoxOS
rust-lang/rust@a73e44bce1 Provide helpful diagnostics for shebang lookalikes
rust-lang/rust@0c6d24e373 Print job doc URL on job failure
rust-lang/rust@611764417b Output job doc URL to allow Rust Log Analyzer to access it
rust-lang/rust@aab643f4a7 Fill doc_url for Rust for Linux and Fuchsia jobs
rust-lang/rust@3cf1a68280 Add doc_url attribute to CI jobs
rust-lang/rust@ed29ebb576 Merge pull request #2282 from jieyouxu/fetch-prunetags
rust-lang/rust@36ff87e90e EUV: fix place of deref pattern's interior's scrutinee
rust-lang/rust@440d336b71 Document fetch.prunetags = true gotcha during rustc-pull
rust-lang/rust@2b15dd1ddd Add more comments to discriminant calculations.
rust-lang/rust@7bde176305 Merge from rustc
rust-lang/rust@d4c5e752c5 Preparing for merge from rustc
rust-lang/rust@88b206d582 atomic intrinsics: clarify which types are supported and (if applicable) what happens with provenance
rust-lang/rust@91af4aa2e2 Allow more top-down inlining for single-BB callees
rust-lang/rust@231627b138 update error message
rust-lang/rust@d0a3160374 Merge pull request #2281 from rust-lang/tshepang-patch-1
rust-lang/rust@26176b017e less text for same effect
rust-lang/rust@8bf33c213f Visit PatField when collecting lint levels
rust-lang/rust@c8a6fcc3c8 fix: remove the check of lld not supporting @response-file
rust-lang/rust@675ae1afd0 use expect instead of allow
rust-lang/rust@d39a25837d Enable metrics and verbose tests in PR CI
rust-lang/rust@143f39362a Don't alloca just to look at a discriminant
rust-lang/rust@b06a1364f4 remove must_use from <*const T>::expose_provenance
rust-lang/rust@240a6d3401 Merge pull request #2258 from fee1-dead-contrib/constck
rust-lang/rust@e405878315 Merge pull request #2273 from rust-lang/tshepang-patch-1
rust-lang/rust@4cc14ce3a5 Merge pull request #2277 from rust-lang/tshepang-patch-2
rust-lang/rust@4b2c077a7b add missing punctuation
rust-lang/rust@225e571718 Merge pull request #2276 from rust-lang/tshepang-patch-2
rust-lang/rust@7c6d6e30be clean --bless text
rust-lang/rust@e9088e46f9 Merge pull request #2275 from rust-lang/tshepang-patch-2
rust-lang/rust@f2e77353be add a pause, for readability
rust-lang/rust@7384623d97 Merge pull request #2274 from rust-lang/tshepang-patch-2
rust-lang/rust@775167251a already mentioned before showing code snippet
rust-lang/rust@d51c922268 use new terminology
rust-lang/rust@7f83057e3d Merge pull request #2270 from tshepang/example-llvm-prs
rust-lang/rust@fc7ad745bb Merge pull request #2271 from rust-lang/tshepang-patch-1
rust-lang/rust@d9c920bd69 Merge pull request #2272 from rust-lang/tshepang-patch-2
rust-lang/rust@f1a0665131 ignore-stage0 and only-stage0 do not exist
rust-lang/rust@2391f1038c fix text
rust-lang/rust@ce2eef3b85 link to latest major llvm update pr
rust-lang/rust@93a8c7e6b4 only a few are needed as examples
rust-lang/rust@24f3812ce0 numbers were not sequential, so stop trying
rust-lang/rust@ffa86bf6eb Reword documentation about SocketAddr having varying layout
rust-lang/rust@41f95b0fc9 consider explicit_implied_const_bounds
rust-lang/rust@515be00f0c Merge pull request #2269 from moxian/patch-1
rust-lang/rust@243f5699d5 Don't suggest explicitly cfg-gating trace! calls in bootstrap
rust-lang/rust@61e550a583 uefi: helpers: Add DevicePathNode abstractions
rust-lang/rust@4e703f5825 docs(std): mention LazyLock in const/static HashMap construction
rust-lang/rust@746b0f6f1d Sync Fuchsia target spec with clang Fuchsia driver
rust-lang/rust@78e0d10e21 Rewrite effects checking chapter
rust-lang/rust@0c10339f89 Overhaul examples for PermissionsExt

@github-actions github-actions bot requested a review from a team as a code owner March 15, 2025 03:22
@zhassan-aws zhassan-aws reopened this Mar 15, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Mar 15, 2025
@tautschnig tautschnig added this pull request to the merge queue Mar 15, 2025
Merged via the queue into main with commit 1e94e64 Mar 15, 2025
24 of 25 checks passed
@tautschnig tautschnig deleted the toolchain-2025-03-15 branch March 15, 2025 11:58
@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
@carolynzech
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

@tautschnig tautschnig tautschnig approved these changes

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
@tautschnig @zhassan-aws @celinval