diff --git a/action.yml b/action.yml
index 7650467..0157e2c 100644
--- a/action.yml
+++ b/action.yml
@@ -32,6 +32,8 @@ runs:
   steps:
     - name: Install Rust
       uses: actions-rs/toolchain@v1.0.7
+      with:
+        toolchain: stable
 
     - name: Install Kani
       shell: bash