Ordinal 0.5.3 #704
vbglnix-action-8.17.yml
on: pull_request_target
coq
36s
HoTT
36s
LibHyps
35s
bbv
40s
coq-lsp
43s
coq-record-update
34s
coq-shell
39s
coqide
36s
coqutil
1m 17s
dpdgraph
1m 14s
high-school-geometry
1m 57s
itauto
2m 32s
metalib
35s
pocklington
36s
rewriter
6m 16s
semantics
34s
serapi
1m 22s
smtcoq
1m 31s
graph-theory
39s
mathcomp-experimental-reals
36s
coqeal
3m 14s
mathcomp
1m 9s
mathcomp-infotheo
7m 10s
mathcomp-analysis-stdlib
36s