Fix syntax errors in installation script #154
test-action.yml
on: pull_request
Ensure that the Kani action continues to work
45s
Annotations
4 errors
|
Ensure that the Kani action continues to work
Process completed with exit code 1.
|
|
Ensure that the Kani action continues to work
The version of Kani installed was different than the one requested
|
|
Ensure that the Kani action continues to work
Process completed with exit code 1.
|
|
Ensure that the Kani action continues to work
Could not install Kani. Please check if the provided version is correct
|