Split up coq-docker job a lot #137
Triggered via pull request
November 23, 2023 00:49
JasonGross
Status
Startup failure
Total duration
–
Artifacts
–
coq-docker.yml
on: pull_request
Matrix: build
Waiting for pending jobs
Matrix: build-js-of-ocaml
Waiting for pending jobs
Matrix: generated-files
Waiting for pending jobs
Matrix: standalone-haskell
Waiting for pending jobs
Matrix: test-standalone
Waiting for pending jobs
Matrix: validate
Waiting for pending jobs
docker-check-all
Annotations
1 error
|
Invalid workflow file:
.github/workflows/coq-docker.yml#L173
The workflow is not valid. .github/workflows/coq-docker.yml (Line: 173, Col: 9): A sequence was not expected .github/workflows/coq-docker.yml (Line: 260, Col: 9): A sequence was not expected
|