coqutil 0.0.5/0.0.6 #703
nix-action-8.16.yml
on: pull_request
coq
38s
HoTT
36s
bbv
33s
coq-record-update
37s
coq-shell
37s
coqide
35s
coqutil
1m 6s
dpdgraph
34s
high-school-geometry
37s
itauto
35s
metalib
37s
semantics
38s
smtcoq
41s
tlc
34s
category-theory
35s
gappalib
32s
trakt
34s
coq-hammer
36s
coq-lsp
37s
relation-algebra
33s
topology
32s
mathcomp-tarjan
34s
extructures
33s
interval
36s
corn
34s
vcfloat
35s
Verdi
33s
goedel
35s
iris-named-props
33s
VST
33s
metacoq
33s
mathcomp-apery
38s
Annotations
1 error
coqutil
Process completed with exit code 1.
|