From 251c15a5fb02b83cdec4b9ecb5a61995e9a7cc6e Mon Sep 17 00:00:00 2001
From: Jaisurya Nanduri <91620234+jaisnan@users.noreply.github.com>
Date: Wed, 28 Jun 2023 16:05:03 -0400
Subject: [PATCH] update-to-0.31.0 (#39)

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

diff --git a/action.yml b/action.yml
index 107fa4b..459e9b2 100644
--- a/action.yml
+++ b/action.yml
@@ -36,7 +36,7 @@ runs:
     - name: Install Kani
       shell: bash
       run: |
-        export KANI_VERSION="0.30.0";
+        export KANI_VERSION="0.31.0";
         cargo install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;