coqutil 0.0.5/0.0.6 #634
vbglnix-action-8.17.yml
on: pull_request
coq
34s
HoTT
40s
LibHyps
1m 22s
bbv
34s
coq-lsp
2m 33s
coq-record-update
39s
coq-shell
34s
coqide
34s
coqutil
1m 30s
dpdgraph
33s
high-school-geometry
34s
itauto
33s
metalib
2m 26s
pocklington
2m 20s
rewriter
33s
semantics
1m 41s
serapi
46s
smtcoq
1m 40s
graph-theory
38s