Skip to content
Kani CI

Move cleanup to common setup #129

Sign in to view logs

Move cleanup to common setup

Move cleanup to common setup #129

Triggered via push August 18, 2023 17:38
@tautschnigtautschnig
pushed 28c042f
cleanup-runner
Status Failure
Total duration 1m 55s
Artifacts –

kani.yml

on: push
write-json-symtab-regression
3s
write-json-symtab-regression
benchcomp-tests
21s
benchcomp-tests
perf
5s
perf
bookrunner
4s
bookrunner
releasebundle-ubuntu
1m 43s
releasebundle-ubuntu
Matrix: regression
Matrix: releasebundle-macos
Fit to window
Zoom out
Zoom in

Annotations

26 errors
regression (ubuntu-22.04)
/home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): Required property is missing: shell
regression (ubuntu-22.04)
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): 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)
regression (ubuntu-22.04)
Fail to load /home/runner/work/kani/kani/./.github/actions/setup/action.yml
regression (ubuntu-20.04)
/home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): Required property is missing: shell
regression (ubuntu-20.04)
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): 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)
regression (ubuntu-20.04)
Fail to load /home/runner/work/kani/kani/./.github/actions/setup/action.yml
write-json-symtab-regression
/home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): Required property is missing: shell
write-json-symtab-regression
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): 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)
write-json-symtab-regression
Fail to load /home/runner/work/kani/kani/./.github/actions/setup/action.yml
bookrunner
/home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): Required property is missing: shell
bookrunner
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): 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)
bookrunner
Fail to load /home/runner/work/kani/kani/./.github/actions/setup/action.yml
regression (macos-11)
The job was canceled because "ubuntu-20_04" failed.
regression (macos-11)
The operation was canceled.
perf
/home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): Required property is missing: shell
perf
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): 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)
perf
Fail to load /home/runner/work/kani/kani/./.github/actions/setup/action.yml
releasebundle-macos (macos-11)
/Users/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): Required property is missing: shell
releasebundle-macos (macos-11)
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /Users/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): 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)
releasebundle-macos (macos-11)
Fail to load /Users/runner/work/kani/kani/./.github/actions/setup/action.yml
benchcomp-tests
/home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): Required property is missing: shell
benchcomp-tests
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): 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)
benchcomp-tests
Fail to load /home/runner/work/kani/kani/./.github/actions/setup/action.yml
releasebundle-ubuntu
/home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): Required property is missing: shell
releasebundle-ubuntu
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/kani/kani/./.github/actions/setup/action.yml (Line: 15, Col: 9): 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)
releasebundle-ubuntu
Fail to load /home/runner/work/kani/kani/./.github/actions/setup/action.yml