Skip to content

Update to v0.38 with warning #143

Update to v0.38 with warning

Update to v0.38 with warning #143

Triggered via pull request October 5, 2023 17:20
Status Success
Total duration 1m 20s
Artifacts

test-action.yml

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