Add stable

model-checking · Feb 15, 2023 · b05bc9e · b05bc9e
1 parent 367e521
commit b05bc9e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/action.yml b/action.yml
@@ -32,6 +32,8 @@ runs:
   steps:
     - name: Install Rust
       uses: actions-rs/[email protected]
+      with:
+        toolchain: stable
 
     - name: Install Kani
       shell: bash