OCaml 5.2.1 #716
vbglnix-action-8.17.yml
on: push
coq
41s
HoTT
34s
LibHyps
35s
Ordinal
34s
bbv
34s
coq-lsp
35s
coq-record-update
37s
coq-shell
34s
coqide
36s
coqutil
1m 32s
dpdgraph
36s
high-school-geometry
35s
itauto
35s
metalib
35s
pocklington
37s
rewriter
38s
semantics
37s
serapi
35s
smtcoq
39s
graph-theory
35s
mathcomp-experimental-reals
35s
coqeal
3m 35s
mathcomp
36s
mathcomp-infotheo
7m 24s
mathcomp-analysis-stdlib
34s