Skip to content

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

Decouple kani version from kani-github-action version

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

Triggered via pull request September 15, 2023 01:37
Status Failure
Total duration 13s
Artifacts

test-action.yml

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