OCaml 5.2.1 #715
vbglnix-action-8.17.yml
on: pull_request_target
coq
35s
HoTT
35s
LibHyps
36s
Ordinal
34s
bbv
36s
coq-lsp
6m 35s
coq-record-update
35s
coq-shell
36s
coqide
37s
coqutil
1m 36s
dpdgraph
35s
high-school-geometry
35s
itauto
39s
metalib
35s
pocklington
39s
rewriter
38s
semantics
37s
serapi
6m 3s
smtcoq
40s
mathcomp-word
1m 25s
addition-chains
1m 59s
gaia
3m 53s
http
1m 27s
graph-theory
16m 29s
mathcomp-experimental-reals
1m 18s
coqeal
3m 36s
mathcomp
1m 26s
mathcomp-infotheo
7m 41s
mathcomp-analysis-stdlib
1m 14s