Testing CI #119
Triggered via pull request
September 20, 2023 00:36
jaisnan
Status
Failure
Total duration
1m 21s
Artifacts
–
test-action.yml
on: pull_request
Ensure that the Kani action continues to work
1m 12s
Annotations
4 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.
|
|
Ensure that the Kani action continues to work
The installed version (0.36.0) does not match the latest version ().
|
|
Ensure that the Kani action continues to work
Process completed with exit code 1.
|