Skip to content
Kani Action Check

Decouple kani version from kani-github-action version #92

Sign in to view logs

Decouple kani version from kani-github-action version

Decouple kani version from kani-github-action version #92

Triggered via pull request September 15, 2023 02:35
@jaisnanjaisnan
synchronize #45
jaisnan:use-kani-latest-by-default
Status Failure
Total duration 17s
Artifacts –

test-action.yml

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

Annotations

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