Skip to content
Kani Action Check

Update README to use v1 instead of v1.0 #147

Sign in to view logs

Update README to use v1 instead of v1.0

Update README to use v1 instead of v1.0 #147

Triggered via pull request January 10, 2024 21:46
@celinvalcelinval
opened #55
celinval:v1
Status Success
Total duration 1m 10s
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
59s
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.