Use stable version to install Kani

model-checking · Jan 10, 2024 · 5657956 · 5657956
1 parent b18bb99
commit 5657956
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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