Skip to content
Kani Action Check

Use stable version to install Kani #145

Sign in to view logs

Use stable version to install Kani

Use stable version to install Kani #145

Triggered via pull request January 10, 2024 00:30
@zhassan-awszhassan-aws
opened #53
zhassan-aws:use-stable-version
Status Success
Total duration 1m 11s
Artifacts –

test-action.yml

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

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.