Skip to content
Kani Action Check

Testing CI #107

Sign in to view logs

Testing CI

Testing CI #107

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

test-action.yml

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