Skip to content

Automatic toolchain upgrade to nightly-2025-01-10 #3828

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
Jan 13, 2025
Merged

Automatic toolchain upgrade to nightly-2025-01-10 #3828

merged 1 commit into from
Jan 13, 2025

Conversation

github-actions[bot]
Copy link
Contributor

Update Rust toolchain from nightly-2025-01-09 to nightly-2025-01-10 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner January 13, 2025 20:07
@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@a580b5c up to
rust-lang/rust@8247594. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/8247594932 Auto merge of #135286 - matthiaskrgr:rollup-sxuq1nh, r=matthiaskrgr

rust-lang/rust@41c7d5a485 Rollup merge of #135261 - compiler-errors:coverage-has-identity-substs, r=oli-obk
rust-lang/rust@8ff355aefe Rollup merge of #135195 - oli-obk:push-toyoyrupruko, r=lcnr
rust-lang/rust@d487294ffd Rollup merge of #134898 - Kobzol:ci-python-script, r=MarcoIeni
rust-lang/rust@251206c27b Auto merge of #135268 - pietroalbini:pa-bump-stage0, r=Mark-Simulacrum
rust-lang/rust@b85b2c60f9 add comment to test
rust-lang/rust@39daadc76e Account for identity substituted items in symbol mangling
rust-lang/rust@ec12cd8436 Auto merge of #135279 - matthiaskrgr:rollup-ek2qere, r=matthiaskrgr
rust-lang/rust@84c8d4f52d Use option combinators instead of manual if/return
rust-lang/rust@8505904dcc Remove the now-useless Result from lit_to_const
rust-lang/rust@07fcead073 Always take the Ok path in lit_to_const and produce error constants instead
rust-lang/rust@787af97bab Use error constant instead of explicit error handling
rust-lang/rust@7833cf7a47 Make lit_to_mir_constant infallible
rust-lang/rust@a1cadeab68 Rollup merge of #135269 - estebank:unneeded-into, r=compiler-errors
rust-lang/rust@b593085a9e Rollup merge of #135247 - tgross35:stdlib-sym-list, r=oli-obk
rust-lang/rust@04e87154bb Rollup merge of #135242 - RalfJung:nonnull-provenance, r=jhpratt
rust-lang/rust@84910fc3cd Rollup merge of #135225 - erickt:fix-test, r=jieyouxu
rust-lang/rust@a9614a5768 Rollup merge of #135212 - Urgau:unreach_pub-upd-descr, r=petrochenkov
rust-lang/rust@b6b8361bce Auto merge of #133324 - scottmcm:gvn-aggregate-transmute, r=cjgillot
rust-lang/rust@65d7296fc9 Auto merge of #135277 - matthiaskrgr:rollup-0k61sf8, r=matthiaskrgr
rust-lang/rust@afbd73559f Rollup merge of #135256 - onur-ozkan:weird-mod-position, r=clubby789,jieyouxu
rust-lang/rust@07a2995977 Rollup merge of #135231 - Zalathar:test-step-notes, r=jieyouxu
rust-lang/rust@29c17fc5ae Rollup merge of #135221 - Urgau:replace-in-stable-book, r=pietroalbini
rust-lang/rust@bbf6363edf Rollup merge of #134875 - compiler-errors:const-destruct-old-solver, r=lcnr
rust-lang/rust@dd0f586b0a Rollup merge of #134609 - tbu-:pr_win7_gnu, r=davidtwco
rust-lang/rust@e4e2d9ceb8 Rollup merge of #128110 - veera-sivarajan:bugfix-80173, r=cjgillot
rust-lang/rust@b421a56364 Make the aggregate-then-transmute handling more general
rust-lang/rust@293f8e8941 Refactor the cast-then-cast cases together, and support transmute-then-transmute
rust-lang/rust@03650dd029 Use layout information to detect transparent transmutes
rust-lang/rust@259c425bd4 Apply suggestions from code review
rust-lang/rust@8dcc676c92 [mir-opt] GVN some more transmute cases
rust-lang/rust@e26ff2f908 Auto merge of #135260 - matthiaskrgr:rollup-8irqs72, r=matthiaskrgr
rust-lang/rust@933c4f5a81 Add a list of symbols for stable standard library crates
rust-lang/rust@eb917ea24d Remove some unnecessary .into() calls
rust-lang/rust@d894ce8827 fmt
rust-lang/rust@a7f84e981e applease clippy
rust-lang/rust@2af3ba9a8a update cfg(bootstrap)
rust-lang/rust@79b00df93a bump stage0
rust-lang/rust@4ae92b7adb update version placeholders
rust-lang/rust@c64f859521 Implement const Destruct in old solver
rust-lang/rust@49942961a7 Only test proc-macro invalid compile flags with panic=unwind
rust-lang/rust@6a093f7711 Rollup merge of #135253 - pietroalbini:pa-revert-131365, r=Mark-Simulacrum
rust-lang/rust@3de6ced864 Rollup merge of #135252 - pietroalbini:pa-fix-relnotes, r=lqd
rust-lang/rust@9ea76e44e5 Rollup merge of #135250 - lqd:simple-cleanups, r=matthewjasper
rust-lang/rust@748effd71a Rollup merge of #135222 - estebank:issue-135209, r=compiler-errors
rust-lang/rust@b87a00488f Rollup merge of #135194 - jieyouxu:update-tidy-label, r=onur-ozkan
rust-lang/rust@f92a5ed5b4 Rollup merge of #134228 - oli-obk:pat-lit-path, r=compiler-errors
rust-lang/rust@61bda87b0d Move mod cargo below the import statements
rust-lang/rust@ee2b8eee38 Revert "fix missing rustfmt and clippy for msi"
rust-lang/rust@e98a41ea07 Revert "fix missing rustfmt for apple darwin"
rust-lang/rust@2ab8b0b4f9 fix release notes link
rust-lang/rust@36ea00c20d rename AllFacts to PoloniusFacts
rust-lang/rust@3a1a621115 rename LocationTable to PoloniusLocationTable
rust-lang/rust@2d23601541 add missing provenance APIs on NonNull
rust-lang/rust@6f1c4177e7 stop calling DenseLocationMap "elements"
rust-lang/rust@4a8773a3af Rename PatKind::Lit to Expr
rust-lang/rust@c9365dd09f Exhaustively handle expressions in patterns
rust-lang/rust@5df69191cb Avoid passing a full Pat when only the Span/HirId is used
rust-lang/rust@9942b77c5b Avoid passing a full Expr when only the Span is used
rust-lang/rust@ceabc95dd1 Add more comments to some of the test steps
rust-lang/rust@592f2c90da modify test to side-step platform-dependent stderr output
rust-lang/rust@d44f021904 Add check for missing fields in enum variant pattern
rust-lang/rust@5f04f98c9a Ensure that we don't try to access fields on a non-struct pattern type in diagnostic
rust-lang/rust@eadb76ec98 Include rustc and rustdoc book in replace-version-placeholder
rust-lang/rust@65819b193a Update rustc-dev-guide
rust-lang/rust@5a95dda44a Apply review comments
rust-lang/rust@56cba09d1e Remove outdated information in the unreachable_pub lint description
rust-lang/rust@0fc2f14c0c Make it possible to select PR vs auto jobs
rust-lang/rust@e62d1e46bb Rename image property of CI jobs to name
rust-lang/rust@e4b6ccef43 Update documentation
rust-lang/rust@0cc11f8c48 Add a command to run a given Linux CI job locally
rust-lang/rust@8ecd033654 Rename CI script from calculate-job-matrix to ci.py
rust-lang/rust@7b801a8454 triagebot: adjust some test suite tool autolabels
rust-lang/rust@8630234ebc Add new {x86_64,i686}-win7-windows-gnu targets
rust-lang/rust@4bc6b76871 Escape all * in rustc's SUMMARY.md
rust-lang/rust@98cc3457af Suggest Semicolon in Incorrect Repeat Expressions
rust-lang/rust@872aa75867 Add Tests

@carolynzech carolynzech reopened this Jan 13, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jan 13, 2025
@tautschnig tautschnig added this pull request to the merge queue Jan 13, 2025
Merged via the queue into main with commit ab3fd25 Jan 13, 2025
27 of 28 checks passed
@tautschnig tautschnig deleted the toolchain-2025-01-10 branch January 13, 2025 22:47
@carolynzech carolynzech mentioned this pull request Feb 5, 2025
Merged
github-merge-queue bot pushed a commit that referenced this pull request Feb 6, 2025
@zhassan-aws
Bump Kani version to 0.59.0 (#3876)
2955d5e 
Github generated release notes:

## What's Changed
* Automatic toolchain upgrade to nightly-2025-01-08 by @github-actions
in #3821
* Automatic cargo update to 2025-01-13 by @github-actions in
#3824
* Automatic toolchain upgrade to nightly-2025-01-09 by @github-actions
in #3825
* Bump ncipollo/release-action from 1.14.0 to 1.15.0 by @dependabot in
#3826
* Bump tests/perf/s2n-quic from `ac52a48` to `adc7ba9` by @dependabot in
#3827
* Automatic toolchain upgrade to nightly-2025-01-10 by @github-actions
in #3828
* Automatic toolchain upgrade to nightly-2025-01-11 by @github-actions
in #3830
* Verify contracts/stubs for generic types with multiple inherent
implementations by @carolynzech in
#3829
* Update Charon submodule by @thanhnguyen-aws in
#3823
* Automatic toolchain upgrade to nightly-2025-01-12 by @github-actions
in #3831
* Automatic toolchain upgrade to nightly-2025-01-13 by @github-actions
in #3833
* Upgrade toolchain to 2025-01-15 by @tautschnig in
#3835
* Automatic toolchain upgrade to nightly-2025-01-16 by @github-actions
in #3836
* Add a regression test for `no_std` feature by @carolynzech in
#3837
* Use fully-qualified name for size_of by @zhassan-aws in
#3838
* Automatic cargo update to 2025-01-20 by @github-actions in
#3842
* Bump tests/perf/s2n-quic from `adc7ba9` to `f0649f9` by @dependabot in
#3844
* Upgrade toolchain to nightly-2025-01-22 by @tautschnig in
#3843
* Remove `DefKind::Ctor` from filtering crate items by @carolynzech in
#3845
* Enable valid_ptr post_condition harnesses by @tautschnig in
#3847
* Update build command in docs to use release mode by @zhassan-aws in
#3846
* Automatic toolchain upgrade to nightly-2025-01-23 by @github-actions
in #3848
* Automatic toolchain upgrade to nightly-2025-01-24 by @github-actions
in #3850
* Remove the openssl-devel package from dependencies by @zhassan-aws in
#3852
* Fix validity checks for `char` by @celinval in
#3853
* Bump tests/perf/s2n-quic from `f0649f9` to `4500593` by @dependabot in
#3857
* Automatic cargo update to 2025-01-27 by @github-actions in
#3856
* Deprecate `--enable-unstable` and `--restrict-vtable` by @celinval in
#3859
* Stub linker to avoid missing symbols errors by @celinval in
#3858
* Toolchain upgrade to nightly-2025-01-28 by @feliperodri in
#3855
* Allow multiple annotations, but check for duplicate targets. by
@remi-delmas-3000 in #3808
* Move documentation of kani_core modules to right places by @qinheping
in #3851
* Fix missing function declaration issue by @celinval in
#3862
* Fix transmute codegen when sizes are different by @celinval in
#3861
* Remove symtab2gb from bundle by @zhassan-aws in
#3865
* Update the rustc hack for CLion / RustRover by @celinval in
#3868
* Bump tests/perf/s2n-quic from `4500593` to `82dd0b5` by @dependabot in
#3872
* Automatic cargo update to 2025-02-03 by @github-actions in
#3869
* Add reference for loop contracts by @qinheping in
#3849
* remove flag float-overflow-check by @rajath-mk in
#3873

## New Contributors
* @rajath-mk made their first contribution in
#3873

**Full Changelog**:
kani-0.58.0...kani-0.59.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: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
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.
2 participants
@tautschnig @carolynzech