Skip to content

Automatic toolchain upgrade to nightly-2025-01-08 #3821

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-08 #3821

merged 1 commit into from
Jan 13, 2025

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Jan 10, 2025

Update Rust toolchain from nightly-2025-01-07 to nightly-2025-01-08 without any other source changes.

@github-actions github-actions bot requested a review from a team as a code owner January 10, 2025 19:39
@github-actions
Copy link
Contributor Author

github-actions bot commented Jan 10, 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@243d2ca up to
rust-lang/rust@ad211ce. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/ad211ced81 Auto merge of #135202 - GuillaumeGomez:rollup-9xgs39t, r=GuillaumeGomez

rust-lang/rust@225ffebc0a Rollup merge of #135199 - joshtriplett:unnecessary-to-string, r=lqd
rust-lang/rust@ec266207cb Rollup merge of #135198 - joshtriplett:str-is-a-type, r=jieyouxu
rust-lang/rust@ccaa0f331c Rollup merge of #135193 - onur-ozkan:tidy-cache-invalidation, r=jieyouxu
rust-lang/rust@ebf2e51c3e Rollup merge of #135189 - Urgau:triagebot-html-ignored, r=lqd
rust-lang/rust@2598d607b5 Rollup merge of #135187 - onur-ozkan:release-fix, r=pietroalbini
rust-lang/rust@a33da79fa9 Rollup merge of #135182 - scottmcm:box-deref-via-transmute, r=oli-obk
rust-lang/rust@020d8758f4 Rollup merge of #135177 - maurer:rename-module, r=nikic
rust-lang/rust@2338e573e1 Rollup merge of #135174 - xingxue-ibm:reproducible-build-aix, r=jieyouxu
rust-lang/rust@2b97db2ff7 Rollup merge of #135081 - mrkajetanp:jemalloc-64k, r=Kobzol
rust-lang/rust@bb6bbfa13f Avoid naming variables str
rust-lang/rust@7cc99a864a Eliminate an unnecessary Symbol::to_string; use as_str
rust-lang/rust@b0324cc108 don't bless proc_macro_deps.rs unless it's necessary
rust-lang/rust@fb546ee09b Auto merge of #135173 - pietroalbini:pa-fix-rvp, r=workingjubilee
rust-lang/rust@70123283be Remove workaround from pull request template
rust-lang/rust@614dc1c933 apply a workaround fix for the release blocker issue
rust-lang/rust@53a5857fa3 bootstrap: Build jemalloc for AArch64 with support for 64K pages
rust-lang/rust@6f2ca607bc Auto merge of #135183 - jhpratt:rollup-qwg4pm0, r=jhpratt
rust-lang/rust@ee55b347c9 Rollup merge of #135170 - celinval:chores-vacation-end, r=jieyouxu
rust-lang/rust@e78b1321e5 Rollup merge of #135139 - c410-f3r:8-years-rfc, r=jhpratt
rust-lang/rust@44808ae798 Rollup merge of #135126 - klensy:deprecated-and-do-nothing, r=jieyouxu
rust-lang/rust@1b370d32d6 Rollup merge of #135116 - camelid:sidebar-case, r=fmease
rust-lang/rust@8b54f951e5 Rollup merge of #135090 - compiler-errors:invalid-tuple-ctor-projection, r=lqd,jieyouxu
rust-lang/rust@3deb5c289e Rollup merge of #134744 - compiler-errors:transmute-non-wf, r=lcnr
rust-lang/rust@65f35be9fc Rollup merge of #134568 - BoxyUwU:relnotes_1_84, r=pietroalbini
rust-lang/rust@b642740e4f Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr
rust-lang/rust@4e4a93c2dd Rollup merge of #131830 - hoodmane:emscripten-wasm-eh, r=workingjubilee
rust-lang/rust@ad5f912d96 Transmute from NonNull to pointer when elaborating a box deref (MCP807)
rust-lang/rust@fc32dd49cb llvm: Ignore error value that is always false
rust-lang/rust@0f1e965fec Auto merge of #135172 - matthiaskrgr:rollup-8fe3fxi, r=matthiaskrgr
rust-lang/rust@b0aaa386d8 rustdoc: Fix mismatched capitalization in sidebar
rust-lang/rust@7f31b579c7 Replace the random substring of a linker argument with a placeholder and nullify the timestamp field of XCOFF files for file comparison.
rust-lang/rust@80cdaeac3d avoid replacing the definition of CURRENT_RUSTC_VERSION
rust-lang/rust@873ae7a5ad Rollup merge of #135157 - bjorn3:fix_rustdoc_error_abort, r=jieyouxu,GuillaumeGomez
rust-lang/rust@7d4b6dc861 Rollup merge of #135153 - crystalstall:master, r=workingjubilee
rust-lang/rust@8e2631bdb6 Rollup merge of #135146 - Zalathar:anyhow-backtrace, r=jieyouxu
rust-lang/rust@c31a4b9ac4 Rollup merge of #135097 - Zalathar:coverage-test-step, r=Kobzol
rust-lang/rust@68791efa29 Rollup merge of #134951 - compiler-errors:double-trait-err-msg, r=davidtwco
rust-lang/rust@44c6e83b49 Rollup merge of #134771 - compiler-errors:const-arg-has-type-err, r=lcnr
rust-lang/rust@49b05ed7c1 Rollup merge of #134742 - compiler-errors:post-borrowck-analysis, r=lcnr
rust-lang/rust@5172364b67 Update triagebot.toml: celinval vacation is over
rust-lang/rust@304ccf45d1 Suggest to replace tuple constructor through projection
rust-lang/rust@ebdf19a8bb Recurse on GAT where clauses in fulfillment error proof tree visitor
rust-lang/rust@96285bde38 Don't ice on bad transmute in typeck in new solver
rust-lang/rust@2be9ffc1af Add derived causes for host effect predicates
rust-lang/rust@87ce94d56f last feedback items
rust-lang/rust@37f26311eb add deprecated and do nothing flag to options table
rust-lang/rust@0705ea2a1c Move the has_errors check in rustdoc back to after TyCtxt is created
rust-lang/rust@5298f85a0a Consolidate coverage test suite steps into a single step
rust-lang/rust@49c74234a7 Add support for wasm exception handling to Emscripten target
rust-lang/rust@591bf63439 chore: remove redundant words in comment
rust-lang/rust@85e0d42a77 Don't enable anyhow's backtrace feature in opt-dist
rust-lang/rust@db17be84fe [generic_assert] Constify methods used by the formatting system
rust-lang/rust@575cdf7492 Stabilized APIs
rust-lang/rust@5a2e2a954b add relnotes
rust-lang/rust@62d6ee3a26 nit: what the heck is o
rust-lang/rust@899d9e6769 Suppress host effect predicates if underlying trait doesn't hold
rust-lang/rust@592259930b Report correct SelectionError for ConstArgHasType in new solver fulfill
rust-lang/rust@2c31c55020 Use PostBorrowckAnalysis in check_coroutine_obligations

@carolynzech carolynzech reopened this Jan 10, 2025
@github-actions github-actions bot added the Z-EndToEndBenchCI Tag a PR to run benchmark CI label Jan 10, 2025
@qinheping qinheping added this pull request to the merge queue Jan 13, 2025
Merged via the queue into main with commit d52203d Jan 13, 2025
28 checks passed
@qinheping qinheping deleted the toolchain-2025-01-08 branch January 13, 2025 05:01
@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 <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

1 more reviewer

@qinheping qinheping qinheping 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.

2 participants

@qinheping @carolynzech