Skip to content
Kani Action Check

Update README.md #146

Sign in to view logs

Update README.md

Update README.md #146

Triggered via pull request January 10, 2024 21:23
@celinvalcelinval
opened #54
celinval:v1-doc
Status Success
Total duration 54s
Artifacts –
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

test-action.yml

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

Annotations

4 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.
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.