Skip to content
Kani Action Check

Testing CI #110

Sign in to view logs

Testing CI

Testing CI #110

Triggered via pull request September 19, 2023 22:24
@jaisnanjaisnan
reopened #48
jaisnan:test-kani-latest-by-default
Status Success
Total duration 1m 45s
Artifacts –

test-action.yml

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

Annotations

1 error
Ensure that the Kani action continues to work
Process completed with exit code 1.