fixing CI dependencies #174
proux01nix-action-coq-master.yml
on: push
coq
2m 34s
smtcoq-trakt
2m 43s
argosy
0s
atbr
0s
bbv
0s
coinduction
0s
coq-performance-tests
0s
coq-tools
0s
cross-crypto
0s
dpdgraph-test
0s
engine-bench
0s
fiat-parsers
0s
itauto
0s
neural-net-coq-interp
0s
paramcoq-test
0s
perennial
0s
sf
0s
smtcoq
0s
stdlib-refman-html
0s
stdlib-test
0s
tlc
0s
waterproof
0s
mtac2
0s
equations-test
0s
compcert
0s
vst
0s
coq-hammer
0s
stalmarck-tactic
0s
fiat-crypto-legacy
0s
corn
0s
hierarchy-builder-test
0s
relation-algebra
0s
category-theory
0s
quickchick-test
0s
VerdiRaft
0s
iris-examples
0s
fiat-crypto
0s
fcsl-pcm
0s
http
0s
mathcomp-analysis
0s
odd-order
0s
mathcomp-test
0s
Annotations
3 errors and 2 warnings
|
smtcoq-trakt
Process completed with exit code 1.
|
|
stdlib-html
Process completed with exit code 1.
|
|
stdlib
Process completed with exit code 1.
|
|
stdlib
Failed to download action 'https://api.github.com/repos/cachix/install-nix-action/tarball/ba0dd844c9180cbf77aa72a116d6fbc515d0e87b'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
stdlib
Back off 15.377 seconds before retry.
|