Unify Coq CI into a single .yml file #4248
Annotations
1 error
|
Set up job
The template is not valid. .github/workflows/coq.yml (Line: 70, Col: 10): Unexpected value ''
|
The logs for this run have expired and are no longer available.
Loading