From a7ab3914f58a1037484f7e1fd6a18ad464b7b8e3 Mon Sep 17 00:00:00 2001
From: Google PR Creation Bot
 <145818923+google-pr-creation-bot@users.noreply.github.com>
Date: Wed, 5 Jun 2024 06:46:44 -0700
Subject: [PATCH] [ci] Roll pinned Kani version (#1390)

---
 .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 9c0bfa0287..c4a20fde9b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -277,7 +277,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.51.0
+          kani-version: 0.52.0
 
   check_fmt:
     runs-on: ubuntu-latest