Skip to content

Conversation

@github-actions
Copy link
Contributor

Update Rust toolchain from nightly-2025-11-17 to nightly-2025-11-18 without any other source changes.

@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@518b428 up to
rust-lang/rust@0df64c5. The log
for this commit range is:

https://github.com/rust-lang/rust/commit/0df64c5784 Auto merge of #149032 - matthiaskrgr:rollup-28xhwxa, r=matthiaskrgr

rust-lang/rust@6b8f2c7938 Rollup merge of #149016 - Zalathar:let-this-self, r=Kivooeo
rust-lang/rust@0e0dac2efc Rollup merge of #148865 - lcnr:gat-inference-hack, r=BoxyUwU
rust-lang/rust@3bc1eaa66a Rollup merge of #148698 - tiif:const_query_cycle, r=BoxyUwU
rust-lang/rust@4e5c61e932 Rollup merge of #148504 - NeatNit:intlong, r=ibraheemdev
rust-lang/rust@5dd82e8ed9 Rollup merge of #145610 - GrigorenkoPV:char_max_len, r=Amanieu
rust-lang/rust@42ebbd2356 Auto merge of #149022 - RalfJung:miri, r=RalfJung
rust-lang/rust@eafd125d1f update lockfile
rust-lang/rust@ffac3a6a9a Merge pull request #4702 from RalfJung/stashed-diag
rust-lang/rust@daf7b0184c emit stash diagnostics before flushing delayed errors
rust-lang/rust@66bc5a43e5 Auto merge of #148763 - yotamofek:use-yarn, r=Kobzol
rust-lang/rust@18d2f462ce Merge pull request #4630 from royAmmerschuber/pull-request/wildcard-provenance
rust-lang/rust@58f034f4cf Fix incorrect (probably copy-pasted) mod comment
rust-lang/rust@9561210372 Update npm package, remove another unused one, and fix some typing errors that started popping when we moved to yarn
rust-lang/rust@3e089f2b3c Install yarn in tidy dockerfile
rust-lang/rust@8acea59362 Use yarn instead of npm in tidy
rust-lang/rust@8e39bff4e7 Merge pull request #4697 from michaliskok/genmc-llvm-dep
rust-lang/rust@cc328c1238 Auto merge of #149013 - Zalathar:rollup-io1ddhc, r=Zalathar
rust-lang/rust@5bb385d674 Merge pull request #4699 from rust-lang/rustup-2025-11-17
rust-lang/rust@34cccb2697 Document the let this = self; idiom used in MIR building
rust-lang/rust@06304ef100 Rollup merge of #149010 - Zalathar:wasm32-bare, r=jieyouxu
rust-lang/rust@0bcf820e3e Rollup merge of #149008 - jsha:jsha-unwatch-doc-html, r=jieyouxu
rust-lang/rust@8a04951ffa Rollup merge of #149004 - clubby789:compiletest-delete-safe, r=jieyouxu
rust-lang/rust@6ce31bffaf Rollup merge of #148999 - moturus:remote-test-server, r=jieyouxu
rust-lang/rust@b979e1ef06 Rollup merge of #148994 - folkertdev:abi-compatibility-cleanup, r=jieyouxu
rust-lang/rust@08093e7877 Rollup merge of #148958 - saethlin:32bit-codegen-pr, r=kobzol
rust-lang/rust@47585c9f48 Rollup merge of #148912 - msmoiz:main, r=scottmcm
rust-lang/rust@e34ef247cc Rollup merge of #148855 - ZuseZ4:autodiff-lto-error, r=bjorn3
rust-lang/rust@6fe5c1d544 Rollup merge of #148757 - nxsaken:const_mem_take, r=scottmcm
rust-lang/rust@dd9b8e65a4 Rollup merge of #148752 - nxsaken:const_manually_drop_take, r=scottmcm
rust-lang/rust@2fbdc8a3ae Rollup merge of #148505 - cyrgani:pm-tests, r=madsmtm
rust-lang/rust@90f1f337a8 Merge ref '69d4d5fc0e4d' from rust-lang/rust
rust-lang/rust@89fe96197d Auto merge of #148478 - RalfJung:rotating-funnel, r=Mark-Simulacrum
rust-lang/rust@31902f3838 Remove the "wasm32-bare" alias for wasm32-unknown-unknown
rust-lang/rust@70a0af3f4e Remove jsha from notifications for rustdoc HTML
rust-lang/rust@69d4d5fc0e Auto merge of #145809 - he32:installer-perf-fix-1, r=Mark-Simulacrum

@github-actions github-actions bot requested a review from a team as a code owner November 18, 2025 03:30
@tautschnig tautschnig closed this Nov 18, 2025
@tautschnig tautschnig reopened this Nov 18, 2025
@github-actions github-actions bot added Z-EndToEndBenchCI Tag a PR to run benchmark CI Z-CompilerBenchCI Tag a PR to run benchmark CI labels Nov 18, 2025
@tautschnig tautschnig added this pull request to the merge queue Nov 18, 2025
Merged via the queue into main with commit 6fb80aa Nov 18, 2025
42 of 43 checks passed
@tautschnig tautschnig deleted the toolchain-2025-11-18 branch November 18, 2025 10:09
github-merge-queue bot pushed a commit that referenced this pull request Jan 15, 2026
0.67.0 Kani release

Raw release notes:
```
## What's Changed
* Upgrade Rust toolchain to 2025-11-06 by @tautschnig in #4451
* Upgrade Rust toolchain to 2025-11-07 by @tautschnig in #4454
* Automatic toolchain upgrade to nightly-2025-11-08 by @github-actions[bot] in #4456
* Automatic toolchain upgrade to nightly-2025-11-09 by @github-actions[bot] in #4457
* Automatic cargo update to 2025-11-10 by @github-actions[bot] in #4459
* Gracefully fail when compiling structs with too large array by @tautschnig in #4461
* Upgrade Rust toolchain to 2025-11-10 by @tautschnig in #4460
* Bump tests/perf/s2n-quic from `e726f08` to `cf77e2b` by @dependabot[bot] in #4462
* Automatic toolchain upgrade to nightly-2025-11-11 by @github-actions[bot] in #4463
* fix: Make kani attribute nameres work with generic args having `::` by @ShoyuVanilla in #4427
* NixOS: patch binaries if the dynamic linker is a stub by @GrigorenkoPV in #4413
* Update charon submodule by 15 commits by @tautschnig in #4464
* Arrays with more than 64 elements no longer cause spurious failures by @tautschnig in #4470
* Upgrade Rust toolchain to 2025-11-12 by @tautschnig in #4469
* Upgrade Rust toolchain to 2025-11-13 by @tautschnig in #4473
* Automatic cargo update to 2025-11-17 by @github-actions[bot] in #4476
* Upgrade Rust toolchain to 2025-11-16 by @tautschnig in #4477
* Automatic toolchain upgrade to nightly-2025-11-18 by @github-actions[bot] in #4478
* Upgrade Rust toolchain to 2025-11-19 by @tautschnig in #4482
* Automatic toolchain upgrade to nightly-2025-11-20 by @github-actions[bot] in #4483
* Automatic cargo update to 2025-11-24 by @github-actions[bot] in #4487
* Bump tests/perf/s2n-quic from `cf77e2b` to `25d7f4e` by @dependabot[bot] in #4489
* Bump actions/checkout from 5 to 6 by @dependabot[bot] in #4488
* Automatic cargo update to 2025-12-01 by @github-actions[bot] in #4491
* Bump tests/perf/s2n-quic from `25d7f4e` to `77f104c` by @dependabot[bot] in #4492
* Automatic cargo update to 2025-12-08 by @github-actions[bot] in #4493
* Bump tests/perf/s2n-quic from `77f104c` to `1ac1364` by @dependabot[bot] in #4494
* docs: Correct `default-unwind` Cargo.toml examples by @hashcatHitman in #4496
* Automatic cargo update to 2025-12-15 by @github-actions[bot] in #4497
* Bump peter-evans/create-pull-request from 7 to 8 by @dependabot[bot] in #4498
* Bump actions/download-artifact from 6 to 7 by @dependabot[bot] in #4499
* Bump tests/perf/s2n-quic from `1ac1364` to `8445d10` by @dependabot[bot] in #4500
* Bump mdbook version by @zhassan-aws in #4503
* Bump tests/perf/s2n-quic from `8445d10` to `112439c` by @dependabot[bot] in #4502
* Automatic cargo update to 2025-12-22 by @github-actions[bot] in #4501
* Bump tests/perf/s2n-quic from `112439c` to `dce0a3c` by @dependabot[bot] in #4506
* Automatic cargo update to 2025-12-29 by @github-actions[bot] in #4505
* Automatic cargo update to 2026-01-05 by @github-actions[bot] in #4508
* Add a section with recommended setup for Rust Analyzer by @zhassan-aws in #4504
* Automatic cargo update to 2026-01-12 by @github-actions[bot] in #4509
* Bump tests/perf/s2n-quic from `dce0a3c` to `058783f` by @dependabot[bot] in #4510
* Upgrade Rust toolchain to 2025-11-21 by @tautschnig in #4486

## New Contributors
* @hashcatHitman made their first contribution in #4496

**Full Changelog**: kani-0.66.0...kani-0.67.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: Michael Tautschnig <mt@debian.org>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Z-CompilerBenchCI Tag a PR to run benchmark CI Z-EndToEndBenchCI Tag a PR to run benchmark CI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants