Skip to content
Kani Action Check

Fix syntax errors in installation script #153

Sign in to view logs

Fix syntax errors in installation script

Fix syntax errors in installation script #153

Triggered via pull request May 13, 2025 01:36
@zhassan-awszhassan-aws
synchronize #57
zhassan-aws:fix-errors
Status Failure
Total duration 49s
Artifacts –

test-action.yml

on: pull_request
Ensure that the Kani action continues to work
43s
Ensure that the Kani action continues to work
Fit to window
Zoom out
Zoom in

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