From b6b17b823564078718d0624a17483dca2f4b1976 Mon Sep 17 00:00:00 2001 From: Google PR Creation Bot Date: Mon, 3 Aug 2026 10:46:27 +0000 Subject: [PATCH] [ci] Roll pinned Kani version --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index dd06bf2c0c..d47827fce1 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -291,7 +291,7 @@ jobs: args: "--package zerocopy --features __internal_use_only_features_that_work_on_stable --output-format=terse --randomize-layout --memory-safety-checks --overflow-checks --undefined-function-checks --unwinding-checks" # This version is automatically rolled by # `roll-pinned-toolchain-versions.yml`. - kani-version: 0.53.0 + kani-version: 0.67.0 check_fmt: runs-on: ubuntu-latest