Skip to content

Automatic toolchain upgrade to nightly-2025-03-16 #3939

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

Automatic toolchain upgrade to nightly-2025-03-16 #3939

merged 1 commit into from
Mar 16, 2025

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2025-03-15 to nightly-2025-03-16 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@ecade53 up to
rust-lang/rust@4d30011. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/4d30011f6c Auto merge of #138532 - matthiaskrgr:rollup-mgcynqu, r=matthiaskrgr

rust-lang/rust@35aa49dead Rollup merge of #138524 - jieyouxu:vac, r=jieyouxu
rust-lang/rust@81ba55746d Rollup merge of #138514 - compiler-errors:fake-borrow-ref-to-value, r=oli-obk
rust-lang/rust@232ec5caea Rollup merge of #138502 - petrochenkov:resinstab, r=compiler-errors
rust-lang/rust@06b135f6bc Rollup merge of #138439 - weihanglo:argmax, r=jieyouxu
rust-lang/rust@a384039053 Rollup merge of #138283 - compiler-errors:enforce-const-param, r=BoxyUwU
rust-lang/rust@aa95b9648a Auto merge of #138464 - compiler-errors:less-type-ir, r=lcnr
rust-lang/rust@b88f85a410 Stop relying on rustc_type_ir in non-type-system crates
rust-lang/rust@19c84c8812 Move codec module back into middle
rust-lang/rust@6438b9eca8 Use {Decodable,Encodable}_NoContext in type_ir
rust-lang/rust@e5a2220327 Fold visit into ty
rust-lang/rust@dc0cdfd753 Squash fold into ty
rust-lang/rust@adea7cbc09 Auto merge of #138379 - estebank:macro-backtrace-note, r=petrochenkov
rust-lang/rust@282865097d Auto merge of #138523 - fmease:rollup-j2j5h59, r=fmease
rust-lang/rust@ecce387ef6 Mark myself as unavailable for reviews
rust-lang/rust@9838591694 Rollup merge of #138518 - yotamofek:pr/hir-lint-typo, r=compiler-errors
rust-lang/rust@79775921aa Rollup merge of #138511 - mohe2015:rustc-parse-pub-parse-expr-cond, r=oli-obk
rust-lang/rust@9b8a6771bc Rollup merge of #138507 - Kobzol:netbsd-mirror, r=Mark-Simulacrum
rust-lang/rust@370f8fb99d Rollup merge of #138482 - nnethercote:fix-hir-printing, r=compiler-errors
rust-lang/rust@03cda6b022 Rollup merge of #138474 - remexre:refactor-is-snake-case, r=compiler-errors
rust-lang/rust@43c41a801a Rollup merge of #138460 - xizheyin:issue-138319, r=petrochenkov
rust-lang/rust@756b17975f Rollup merge of #138454 - Kobzol:post-merge-workflow-fixes, r=jieyouxu
rust-lang/rust@fc7ac81979 Rollup merge of #138451 - Kobzol:gcc-ci-build-gcc, r=GuillaumeGomez
rust-lang/rust@10055fb03a Rollup merge of #138056 - heiher:loong64v1.1-features, r=petrochenkov
rust-lang/rust@d9e5539a39 Auto merge of #138519 - weihanglo:update-cargo, r=weihanglo
rust-lang/rust@e6f7ab50c0 Small grammar fix in comment
rust-lang/rust@5da1ba41b3 Fix typo in hir lowering lint diag
rust-lang/rust@58e083021e Update cargo
rust-lang/rust@f0b8e13b59 Do not suggest using -Zmacro-backtrace for builtin macros
rust-lang/rust@e54bde6d47 Remove fake borrows of refs that are converted into non-refs in MakeByMoveBody
rust-lang/rust@66c49c73ee Make Parser::parse_expr_cond public.
rust-lang/rust@9e3805d6d3 Mirror NetBSD sources
rust-lang/rust@a891139df1 resolve: Avoid some unstable iteration
rust-lang/rust@08166b5b23 feat(linker): check ARG_MAX on Unix platforms
rust-lang/rust@a672448f0d fix(linker): use arg list estimate on only Windows
rust-lang/rust@79034bd291 fix(linker): prevent overflow when estimating CLI arg list length
rust-lang/rust@bf095f6ece Ensure that GCC is not built using Clang, as it misbehaves
rust-lang/rust@6ef465ba12 Add clarification about doctests
rust-lang/rust@aad1db7373 Pass precise HirId when calling check_stability
rust-lang/rust@0160c60c78 Check type of const param correctly in MIR typeck
rust-lang/rust@d989bf5bbe rustc_target: Add target features for LoongArch v1.1
rust-lang/rust@b9f0ca11bc Refactor is_snake_case.
rust-lang/rust@79e4be1e9f Remove the ref from FnParam::Ident.
rust-lang/rust@bebd91feb3 Fix HIR param pretty printing some more.
rust-lang/rust@958bc7b365 Handle _ properly in a couple of places.
rust-lang/rust@9714f60f1d Inline and remove FnParam::name.
rust-lang/rust@38fc11601e Store libgccjit.so in a lib directory in the GCC CI tarball
rust-lang/rust@34272a5468 Do not overwrite original config.toml in opt-dist
rust-lang/rust@3fc7ca0fee Use GCC for building GCC
rust-lang/rust@955aef5a4e Change GCC build flags
rust-lang/rust@c4371786d6 Create libgccjit.so.0 alias also for CI-downloaded GCC
rust-lang/rust@e885122147 Add a pretty printing test for fn params.
rust-lang/rust@f981a0a0cd Do not print doctest diffs in the report
rust-lang/rust@d5d633d246 Group diffs by tests, rather than job groups
rust-lang/rust@5a7f227351 Collapse report in <details>
rust-lang/rust@7ed913be31 Add cache for downloading job metrics
rust-lang/rust@2192d5c4e2 Print the compared SHAs
rust-lang/rust@208cef45fc Add note about the experimental status
rust-lang/rust@6f214c5bb3 Fix pluralization of tests

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