From 367e5215f2df8fc1e78fb3eb2a1c2a177bf41072 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Wed, 15 Feb 2023 10:22:05 -0800
Subject: [PATCH] Install stable rust toolchain

---
 action.yml | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/action.yml b/action.yml
index a54f1dc..7650467 100644
--- a/action.yml
+++ b/action.yml
@@ -32,12 +32,6 @@ runs:
   steps:
     - name: Install Rust
       uses: actions-rs/toolchain@v1.0.7
-      with:
-        # From https://github.com/model-checking/kani/blob/kani-0.21.0/rust-toolchain.toml
-        # Should be updated every time we update the version to keep in sync.
-        # This should be automated https://github.com/model-checking/kani-github-action/issues/9
-        toolchain: nightly-2022-12-11
-        override: true
 
     - name: Install Kani
       shell: bash