coqutil 0.0.5/0.0.6 #377
nix-action-8.16-mathcomp2.yml
on: pull_request
coq
41s
HoTT
35s
bbv
37s
coq-record-update
33s
coq-shell
38s
coqide
36s
coqutil
1m 16s
dpdgraph
35s
high-school-geometry
33s
itauto
33s
metalib
33s
semantics
32s
smtcoq
36s
tlc
41s
gappalib
34s
trakt
41s
coq-hammer
33s
coq-lsp
33s
topology
34s
corn
34s
vcfloat
37s
goedel
32s
iris-named-props
38s
VST
32s
mathcomp-tarjan
35s
interval
37s
metacoq
34s
mathcomp-word
34s
addition-chains
39s
gaia
42s
http
39s
graph-theory
5m 11s
mathcomp-algebra-tactics
36s
coqeal
42s
mathcomp
35s
Annotations
1 error
coqutil
Process completed with exit code 1.
|