Skip to content
Kani Action Check

Testing CI #105

Sign in to view logs

Testing CI

Testing CI #105

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

test-action.yml

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