[CI] add coq-check-all job #663
coq.yml
on: pull_request
Matrix: build
coq-check-all
0s
Annotations
1 error
coq-check-all
Process completed with exit code 1.
|