ssprove 0.2.2 #707
vbglnix-action-8.17.yml
on: pull_request_target
coq
35s
HoTT
34s
LibHyps
37s
Ordinal
38s
bbv
35s
coq-lsp
39s
coq-record-update
40s
coq-shell
38s
coqide
37s
coqutil
1m 21s
dpdgraph
37s
high-school-geometry
1m 56s
itauto
2m 6s
metalib
34s
pocklington
35s
rewriter
6m 5s
semantics
32s
serapi
39s
smtcoq
40s
graph-theory
39s
mathcomp-experimental-reals
34s
coqeal
41s
mathcomp
53s
mathcomp-infotheo
7m 39s
mathcomp-analysis-stdlib
35s