Decouple kani version from kani-github-action version
#136
Triggered via pull request
September 26, 2023 16:24
jaisnan
Status
Success
Total duration
1m 52s
Artifacts
–
test-action.yml
on: pull_request
Ensure that the Kani action continues to work
1m 40s
Annotations
2 errors
|
Ensure that the Kani action continues to work
Could not install Kani. Please check if the provided version is correct
|
|
Ensure that the Kani action continues to work
Process completed with exit code 1.
|