Skip to content

Tags: model-checking/kani-github-action

Tags

v1.1

Toggle v1.1's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update README to use v1 instead of v1.0 (#55)

v1.0

Toggle v1.0's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Decouple `kani` version from `kani-github-action` version (#45)

This PR updates the action to add the parameter for kani-version which defaults to the value latest.
The default value latest uses the latest version of Kani that is uploaded on crates.io unless a specific version is provided by the user, in which case that specific version of Kani will be used in the CI.

v0.37

Toggle v0.37's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update Kani version to 0.37.0 (#49)

Co-authored-by: Remi Delmas <delmasrd@amazon.com>

v0.36

Toggle v0.36's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update Kani version to 0.36.0 (#47)

v0.35

Toggle v0.35's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Update Kani version to 0.35.0 (#43)

Change the action to track the latest Kani version

v0.34

Toggle v0.34's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Bump Kani version to 0.34.0 (#42)

v0.33

Toggle v0.33's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Bump Kani version (#41)

v0.32

Toggle v0.32's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Bump Kani version to 0.32.0 (#40)

v0.31

Toggle v0.31's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
update-to-0.31.0 (#39)

v0.30

Toggle v0.30's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
Bump kani version to 0.30.0 (#38)