[ci] Roll pinned Kani version (#1096)

google · Apr 6, 2024 · eeac42a · eeac42a
1 parent 7022714
commit eeac42a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -323,7 +323,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.48.0
+          kani-version: 0.49.0
 
   check_fmt:
     runs-on: ubuntu-latest