Skip to content
Kani Action Check

Update to v0.38 with warning #142

Sign in to view logs

Update to v0.38 with warning

Update to v0.38 with warning #142

Triggered via pull request October 5, 2023 17:18
@jaisnanjaisnan
opened #51
jaisnan:Update-main-to-0.38
Status Failure
Total duration 19s
Artifacts –

test-action.yml

on: pull_request
Ensure that the Kani action continues to work
6s
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
/home/runner/work/kani-github-action/kani-github-action/./action.yml (Line: 43, Col: 7): Required property is missing: shell
Ensure that the Kani action continues to work
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/kani-github-action/kani-github-action/./action.yml (Line: 43, Col: 7): Required property is missing: shell at GitHub.DistributedTask.ObjectTemplating.TemplateValidationErrors.Check() at GitHub.Runner.Worker.ActionManifestManager.ConvertRuns(IExecutionContext executionContext, TemplateContext templateContext, TemplateToken inputsToken, String fileRelativePath, MappingToken outputs) at GitHub.Runner.Worker.ActionManifestManager.Load(IExecutionContext executionContext, String manifestFile)
Ensure that the Kani action continues to work
Fail to load /home/runner/work/kani-github-action/kani-github-action/./action.yml