Skip to content

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

Decouple kani version from kani-github-action version

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

Triggered via pull request September 26, 2023 14:55
Status Success
Total duration 1m 33s
Artifacts

test-action.yml

on: pull_request
Ensure that the Kani action continues to work
1m 20s
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
Could not install Kani. Please check if the provided version is correct
Ensure that the Kani action continues to work
Process completed with exit code 1.