From dd87215965f170dd0b9635ee8f78d69b658f524c Mon Sep 17 00:00:00 2001
From: Zyad Hassan <88045115+zhassan-aws@users.noreply.github.com>
Date: Tue, 21 Feb 2023 17:17:06 -0800
Subject: [PATCH] Upgrade to Kani 0.22 (#28)

---
 action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/action.yml b/action.yml
index 5b10e70..4f2e69a 100644
--- a/action.yml
+++ b/action.yml
@@ -38,7 +38,7 @@ runs:
     - name: Install Kani
       shell: bash
       run: |
-        export KANI_VERSION="0.21.0";
+        export KANI_VERSION="0.22.0";
         cargo install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;