Skip to content

Testing CI

Testing CI #99

Triggered via pull request September 15, 2023 15:49
Status Failure
Total duration 19s
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

3 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.
Ensure that the Kani action continues to work
The template is not valid. .github/workflows/test-action.yml (Line: 29, Col: 21): A mapping was not expected