ssprove 0.2.2 (#290) #708
vbglnix-action-8.17.yml
on: push
coq
35s
HoTT
35s
LibHyps
35s
Ordinal
1m 31s
bbv
33s
coq-lsp
1m 27s
coq-record-update
2m 55s
coq-shell
38s
coqide
1m 3s
coqutil
1m 21s
dpdgraph
1m 24s
high-school-geometry
34s
itauto
38s
metalib
34s
pocklington
1m 52s
rewriter
6m 27s
semantics
33s
serapi
34s
smtcoq
1m 39s
graph-theory
39s
mathcomp-experimental-reals
35s
coqeal
40s
mathcomp
38s
mathcomp-infotheo
7m 18s
mathcomp-analysis-stdlib
38s