coqutil 0.0.5/0.0.6 #705
nix-action-8.16.yml
on: pull_request_target
coq
34s
HoTT
35s
bbv
34s
coq-record-update
34s
coq-shell
35s
coqide
38s
dpdgraph
34s
high-school-geometry
36s
itauto
34s
metalib
34s
semantics
40s
smtcoq
40s
tlc
35s
category-theory
35s
gappalib
36s
trakt
1m 24s
coq-hammer
46s
coq-lsp
1m 21s
relation-algebra
35s
topology
41s
mathcomp-tarjan
1m 41s
extructures
34s
interval
1m 57s
corn
2m 51s
vcfloat
39s
Verdi
36s
goedel
2m 40s
iris-named-props
35s
VST
41s
metacoq
35s
mathcomp-apery
35s