Skip to content
Kani Action Check

Testing CI #109

Sign in to view logs

Testing CI

Testing CI #109

Triggered via pull request September 15, 2023 18:31
@jaisnanjaisnan
synchronize #48
jaisnan:test-kani-latest-by-default
Status Success
Total duration 1m 17s
Artifacts –

test-action.yml

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