Skip to content
Kani Action Check

Testing CI #104

Sign in to view logs

Testing CI

Testing CI #104

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

test-action.yml

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