CI

Test only cvc5 #679

Sign in to view logs

Triggered via push October 29, 2024 20:54

CyanoKobalamyne

ci-static-build

Status Failure

Total duration 2s

Artifacts –

ci.yml

on: push

Matrix: build

Waiting for pending jobs

Annotations

1 error

Error when evaluating 'runs-on' for job 'build'. .github/workflows/ci.yml (Line: 21, Col: 14): Unexpected value ''