Skip to content

Commit bcc5c7c

Browse files
authored
Bump version to 0.26.0 (#33)
Update action to use Kani version 0.26.0
1 parent fd0aa0c commit bcc5c7c

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

action.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ runs:
3838
- name: Install Kani
3939
shell: bash
4040
run: |
41-
export KANI_VERSION="0.25.0";
41+
export KANI_VERSION="0.26.0";
4242
cargo install --version $KANI_VERSION --locked kani-verifier;
4343
cargo-kani setup;
4444

0 commit comments

Comments
 (0)