From 67c9069ad085ff717ca5cde090c7f226b804af07 Mon Sep 17 00:00:00 2001 From: Michael Tautschnig Date: Thu, 2 Oct 2025 11:16:26 +0000 Subject: [PATCH 1/2] Only skip toolchain update upon exact issue match See https://github.com/model-checking/kani/actions/runs/18191307420 for a workflow that spuriously was a no-op: we were effectively doing https://github.com/model-checking/kani/issues?q=is%3Aissue%20state%3Aopen%20Toolchain%20upgrade%20to%20nightly-2025-10-02%20failed (which turns up https://github.com/model-checking/kani/issues/3881) when we should do https://github.com/model-checking/kani/issues?q=is%3Aissue%20state%3Aopen%20%22Toolchain%20upgrade%20to%20nightly-2025-10-02%20failed%22 --- scripts/toolchain_update.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/toolchain_update.sh b/scripts/toolchain_update.sh index ce656337fc2e..2140ca340337 100755 --- a/scripts/toolchain_update.sh +++ b/scripts/toolchain_update.sh @@ -26,7 +26,7 @@ echo "- next: ${next_toolchain_date}" echo "---------------------------" if gh issue list -S \ - "Toolchain upgrade to nightly-$next_toolchain_date failed" \ + "\"Toolchain upgrade to nightly-$next_toolchain_date failed\"" \ --json number,title | grep title then echo "Skip update: Found existing issue" From dbd5b73ef79cf4cfc1e246a250600cd6a250cde4 Mon Sep 17 00:00:00 2001 From: tautschnig <1144736+tautschnig@users.noreply.github.com> Date: Thu, 2 Oct 2025 12:51:28 +0000 Subject: [PATCH 2/2] Upgrade Rust toolchain to nightly-2025-10-02 --- rust-toolchain.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/rust-toolchain.toml b/rust-toolchain.toml index 90011c799b7c..7382509f3ab6 100644 --- a/rust-toolchain.toml +++ b/rust-toolchain.toml @@ -2,5 +2,5 @@ # SPDX-License-Identifier: Apache-2.0 OR MIT [toolchain] -channel = "nightly-2025-10-01" +channel = "nightly-2025-10-02" components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]