From 2acbf8aac94bf906467bfa4b12a5052b34c146b4 Mon Sep 17 00:00:00 2001
From: celinval <35149715+celinval@users.noreply.github.com>
Date: Sun, 28 Sep 2025 03:30:29 +0000
Subject: [PATCH 1/2] Upgrade Rust toolchain to nightly-2025-09-28

---
 rust-toolchain.toml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rust-toolchain.toml b/rust-toolchain.toml
index 270ea8e798ac..c81a3994216e 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-09-27"
+channel = "nightly-2025-09-28"
 components = ["llvm-tools", "rustc-dev", "rust-src", "rustfmt"]

From 2b25f34d9af12936b2d19b34bf03213a26c1ba44 Mon Sep 17 00:00:00 2001
From: Michael Tautschnig <tautschn@amazon.com>
Date: Sun, 28 Sep 2025 19:02:43 +0000
Subject: [PATCH 2/2] Clippy

---
 tools/kani-cov/src/args.rs | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/kani-cov/src/args.rs b/tools/kani-cov/src/args.rs
index 11cfd5d7a73a..ee5f7b287954 100644
--- a/tools/kani-cov/src/args.rs
+++ b/tools/kani-cov/src/args.rs
@@ -10,7 +10,6 @@
 use std::path::PathBuf;
 
 use anyhow::{Result, bail};
-use clap::{arg, command};
 
 use crate::{merge, report, summary};