OCaml 5.2.1 #591
vbglnix-action-8.18.yml
on: pull_request_target
coq
35s
HoTT
52s
LibHyps
37s
Ordinal
39s
bbv
42s
coq-lsp
1m 38s
coq-record-update
38s
coq-shell
34s
coqide
42s
coqutil
34s
dpdgraph
46s
high-school-geometry
53s
itauto
41s
metalib
37s
pocklington
38s
rewriter
38s
semantics
38s
serapi
1m 36s
smtcoq
38s
vscoq-language-server
1m 33s
waterproof
36s
relation-algebra
2m 13s
Verdi
1m 45s
mathcomp-tarjan
1m 30s
interval
2m 32s
mathcomp-word
1m 25s
addition-chains
2m 5s
gaia
3m 55s
http
1m 35s
graph-theory
4m 3s
mathcomp-experimental-reals
1m 15s
coqeal
5m 9s
mathcomp
1m 26s
ssprove
19m 16s
mathcomp-infotheo
16m 12s
mathcomp-analysis-stdlib
10m 12s