Update Pull Request template #188
nix-action-coq-master.yml
on: push
coq
2m 35s
argosy
2m 9s
atbr
2m 50s
bbv
1m 56s
coinduction
1m 50s
coq-performance-tests
15m 41s
coq-tools
4m 26s
cross-crypto
6m 33s
dpdgraph-test
1m 58s
engine-bench
5m 34s
fiat-parsers
5m 30s
itauto
8m 30s
neural-net-coq-interp
2m 20s
paramcoq-test
2m 0s
perennial
12m 34s
sf
3m 34s
smtcoq
2m 23s
stdlib-refman-html
4m 0s
stdlib-test
4m 25s
tlc
2m 9s
waterproof
2m 17s
mtac2
2m 21s
equations-test
0s
coq-elpi-test
0s
compcert
6m 4s
vst
9m 18s
coq-hammer
1m 51s
stalmarck-tactic
1m 56s
fiat-crypto-legacy
8m 7s
corn
8m 13s
hierarchy-builder-test
0s
smtcoq-trakt
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
9 errors and 4 warnings
equations
Process completed with exit code 1.
|
coq-elpi
Process completed with exit code 1.
|
coq-tools
Process completed with exit code 1.
|
|
vst
The operation was canceled.
|
|
bedrock2
The operation was canceled.
|
fiat-crypto-legacy
The run was canceled by @proux01.
|
fiat-crypto-legacy
The operation was canceled.
|
itauto
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.
|
itauto
Back off 23.553 seconds before retry.
|
itauto
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.
|
itauto
Back off 25.924 seconds before retry.
|