Skip to content
CI (Coq, docker, dev)

Add check-all jobs for windows, mac, docker, uniformize naming #1

Sign in to view logs

Add check-all jobs for windows, mac, docker, uniformize naming

Add check-all jobs for windows, mac, docker, uniformize naming #1

Triggered via push November 12, 2023 19:24
@JasonGrossJasonGross
pushed 77d9176
master
Status Startup failure
Total duration –
Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Invalid workflow file: .github/workflows/coq-docker.yml#L116
The workflow is not valid. .github/workflows/coq-docker.yml (Line: 116, Col: 12): Job 'test-amd64' depends on unknown job 'docker-build'. .github/workflows/coq-docker.yml (Line: 137, Col: 20): Job 'docker-check-all' depends on job 'test-amd64' which creates a cycle in the dependency graph.