Skip to content
Kani Action Check

Testing CI #120

Sign in to view logs

Testing CI

Testing CI #120

Triggered via pull request September 20, 2023 00:38
@jaisnanjaisnan
synchronize #48
jaisnan:test-kani-latest-by-default
Status Failure
Total duration 1m 4s
Artifacts –

test-action.yml

on: pull_request
Ensure that the Kani action continues to work
55s
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
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.