[proofs] [alethe] Enable Alethe tester in CI #1889

Triggered via push September 17, 2024 22:24

HanielB

pushed 07deed9

alethe-ci

Status Failure

Total duration 1m 0s

Artifacts –

ci.yml

on: push

Matrix: builds

Annotations

18 errors

ubuntu:production-clang

/home/runner/work/cvc5/cvc5/./.github/actions/setup-cache/action.yml (Line: 64, Col: 7): 'run' is already defined

ubuntu:production-clang

GitHub.DistributedTask.ObjectTemplating.TemplateValidationException: The template is not valid. /home/runner/work/cvc5/cvc5/./.github/actions/setup-cache/action.yml (Line: 64, Col: 7): 'run' is already defined 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)

ubuntu:production-clang

Failed to load /home/runner/work/cvc5/cvc5/./.github/actions/setup-cache/action.yml

macos:production-arm64-cross

The job was canceled because "false_ubuntu_production-c" failed.

ubuntu:production-dbg

/home/runner/work/cvc5/cvc5/./.github/actions/setup-cache/action.yml (Line: 64, Col: 7): 'run' is already defined

ubuntu:production-dbg