Install stable rust toolchain (#26)

model-checking · Feb 15, 2023 · 7857f4f · 7857f4f
1 parent 52a943a
commit 7857f4f
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/action.yml b/action.yml
@@ -33,11 +33,7 @@ runs:
     - name: Install Rust
       uses: actions-rs/[email protected]
       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
+        toolchain: stable
 
     - name: Install Kani
       shell: bash