ci: checkout first #556
ekiwitest.yml
on: push
Check Semantic Versioning of Patronus
12s
Check Formatting
5s
Matrix: Test BMC Tool
Matrix: Test E-Graph Rewrite Condition Synthesizer
Matrix: Test Simulator Tool
Matrix: Unit Tests
Annotations
7 errors
|
Test BMC Tool (stable, bitwuzla)
/home/runner/work/patronus/patronus/./.github/workflows/setup-bitwuzla/action.yml (Line: 17, Col: 7): Required property is missing: shell
|
|
Test BMC Tool (stable, bitwuzla)
/home/runner/work/patronus/patronus/./.github/workflows/setup-bitwuzla/action.yml (Line: 19, Col: 7): Required property is missing: shell
|
|
Test BMC Tool (stable, bitwuzla)
/home/runner/work/patronus/patronus/./.github/workflows/setup-bitwuzla/action.yml (Line: 30, Col: 7): Required property is missing: shell
|
|
Test BMC Tool (stable, bitwuzla)
GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/patronus/patronus/./.github/workflows/setup-bitwuzla/action.yml (Line: 17, Col: 7): Required property is missing: shell,/home/runner/work/patronus/patronus/./.github/workflows/setup-bitwuzla/action.yml (Line: 19, Col: 7): Required property is missing: shell,/home/runner/work/patronus/patronus/./.github/workflows/setup-bitwuzla/action.yml (Line: 30, 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)
|
|
Test BMC Tool (stable, bitwuzla)
Failed to load /home/runner/work/patronus/patronus/./.github/workflows/setup-bitwuzla/action.yml
|
|
Test BMC Tool (stable, yices2)
The job was canceled because "stable_bitwuzla" failed.
|
|
Test BMC Tool (stable, yices2)
The operation was canceled.
|