From bcc5c7c2a90de383af166f65bffa880d83c8ffe8 Mon Sep 17 00:00:00 2001
From: Kareem Khazem <karkhaz@karkhaz.com>
Date: Wed, 19 Apr 2023 18:13:21 +0100
Subject: [PATCH] Bump version to 0.26.0 (#33)

Update action to use Kani version 0.26.0
---
 action.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/action.yml b/action.yml
index 8328bf4..08c468a 100644
--- a/action.yml
+++ b/action.yml
@@ -38,7 +38,7 @@ runs:
     - name: Install Kani
       shell: bash
       run: |
-        export KANI_VERSION="0.25.0";
+        export KANI_VERSION="0.26.0";
         cargo install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;