Skip to content
Kani Action Check

Use stable version to install Kani #144

Sign in to view logs

Use stable version to install Kani

Use stable version to install Kani #144

Triggered via pull request January 10, 2024 00:09
@zhassan-awszhassan-aws
opened #52
zhassan-aws:use-stable
Status Success
Total duration 53s
Artifacts –

test-action.yml

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

Annotations

2 warnings
Ensure that the Kani action continues to work
We will be moving to v1, which will install the latest version of Kani by default. Please be aware that version 0.38 will be the final release where the version of Kani matches the version of Kani Github Action.
Ensure that the Kani action continues to work
We will be moving to v1, which will install the latest version of Kani by default. Please be aware that version 0.38 will be the final release where the version of Kani matches the version of Kani Github Action.