Update README to use v1 instead of v1.0 (#55)

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.

Update Kani version to 0.37.0 (#49)

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

Update Kani version to 0.36.0 (#47)

Update Kani version to 0.35.0 (#43)

Change the action to track the latest Kani version

Bump Kani version to 0.34.0 (#42)

Bump Kani version (#41)

Bump Kani version to 0.32.0 (#40)

update-to-0.31.0 (#39)

Bump kani version to 0.30.0 (#38)