From 5657956f4d2a83a3d7a13dafdb34c17533942f2f Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Tue, 9 Jan 2024 16:06:20 -0800
Subject: [PATCH] Use stable version to install Kani

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

diff --git a/action.yml b/action.yml
index 684f90f..57668e9 100644
--- a/action.yml
+++ b/action.yml
@@ -37,7 +37,7 @@ runs:
       shell: bash
       run: |
         export KANI_VERSION="0.38.0";
-        cargo install --version $KANI_VERSION --locked kani-verifier;
+        cargo +stable install --version $KANI_VERSION --locked kani-verifier;
         cargo-kani setup;
 
     - name: Send warning about move to v1