[CI] add coq-check-all job #663
Annotations
1 error
|
Run echo 'test-standalone failed' && false
Process completed with exit code 1.
|
Loading