WIP bedrock2 #59
proux01This 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/nix-action-coq-master.yml#L839
The workflow is not valid. .github/workflows/nix-action-coq-master.yml (Line: 839, Col: 7): Job 'bedrock2' depends on job 'bedrock2' which creates a cycle in the dependency graph.
|