Clarify structure #199
Triggered via pull request
October 5, 2024 13:50
Status
Failure
Total duration
1h 51m 15s
Artifacts
–
nix-action-coq-master.yml
on: pull_request
coq
1m 7s
argosy
2m 3s
atbr
2m 35s
bbv
1m 54s
coinduction
1m 53s
coq-performance-tests
15m 49s
coq-tools
4m 33s
cross-crypto
6m 39s
dpdgraph-test
1m 49s
engine-bench
5m 35s
fiat-parsers
5m 33s
itauto
3m 5s
neural-net-coq-interp
2m 22s
paramcoq-test
1m 53s
perennial
12m 41s
sf
3m 31s
smtcoq
2m 15s
stdlib-refman-html
3m 54s
stdlib-test
4m 21s
tlc
2m 8s
waterproof
2m 21s
mtac2
2m 22s
equations-test
2m 42s
coq-elpi-test
2m 51s
compcert
4m 51s
vst
15m 14s
coq-hammer
1m 58s
stalmarck-tactic
1m 49s
fiat-crypto-legacy
18m 47s
corn
8m 1s
hierarchy-builder-test
1m 50s
smtcoq-trakt
2m 38s
relation-algebra
4m 53s
category-theory
8m 59s
quickchick-test
2m 53s
VerdiRaft
6m 45s
iris-examples
9m 41s
fiat-crypto
48m 7s
fcsl-pcm
2m 47s
http
0s
mathcomp-analysis
11m 42s
odd-order
10m 38s
mathcomp-test
1m 11s
Annotations
4 errors and 4 warnings
coq-tools
Process completed with exit code 1.
|
stdlib-test
Process completed with exit code 1.
|
ITree
Process completed with exit code 1.
|
hierarchy-builder-test
Process completed with exit code 1.
|
mathcomp-algebra
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.
|
mathcomp-algebra
Back off 24.439 seconds before retry.
|
mathcomp-algebra
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.
|
mathcomp-algebra
Back off 20.775 seconds before retry.
|