ssprove 0.2.2 #701
vbglnix-action-8.17.yml
on: pull_request_target
coq
9m 17s
HoTT
2m 34s
LibHyps
1m 3s
bbv
1m 17s
coq-lsp
1m 30s
coq-record-update
53s
coq-shell
58s
coqide
1m 17s
coqutil
1m 21s
dpdgraph
1m 25s
high-school-geometry
2m 0s
itauto
2m 10s
metalib
1m 4s
pocklington
1m 31s
rewriter
6m 20s
semantics
1m 17s
serapi
1m 17s
smtcoq
2m 4s
mathcomp-word
5m 10s
addition-chains
5m 17s
gaia
7m 14s
http
1m 20s
graph-theory
16m 8s
mathcomp-experimental-reals
1m 3s
coqeal
3m 33s
mathcomp
1m 20s
mathcomp-infotheo
8m 0s
mathcomp-analysis-stdlib
1m 12s