Skip to content
Kani Action Check

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

Sign in to view logs

Decouple kani version from kani-github-action version

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

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

test-action.yml

on: pull_request
Ensure that the Kani action continues to work
9s
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 127.
Ensure that the Kani action continues to work
Process completed with exit code 1.