Update to v0.38 with warning

model-checking · Oct 5, 2023 · b00750a · b00750a
1 parent ba359a8
commit b00750a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/action.yml b/action.yml
@@ -36,10 +36,14 @@ runs:
  - name: Install Kani
  shell: bash
  run: |
- export KANI_VERSION="0.37.0";
+ export KANI_VERSION="0.38.0";
  cargo install --version $KANI_VERSION --locked kani-verifier;
  cargo-kani setup;
 
+ - name: Send deprecated warning
+ run: |
+ echo "::warning::We will be moving to v1, which will install the latest version of Kani by default. Please be aware that version 0.38 will be the final release where the version of Kani matches the version of Kani Github Action."
+
  - name: Install PropProof
  if: ${{ inputs.enable-propproof == 'true' }}
  uses: actions/checkout@v3