coqutil 0.0.5/0.0.6 #422
vbglnix-action-8.19.yml
on: pull_request
coq
36s
HoTT
32s
InfSeqExt
34s
LibHyps
33s
aac-tactics
34s
bbv
33s
coinduction
33s
coq-lsp
33s
coq-record-update
37s
coq-shell
37s
coqide
34s
coqutil
1m 35s
dpdgraph
34s
high-school-geometry
34s
itauto
34s
rewriter
33s
serapi
35s
smtcoq
34s
vscoq-language-server
35s
zorns-lemma
37s
mathcomp-tarjan
33s
graph-theory
39s
ssprove
36s
mathcomp-infotheo
6m 32s
coqeal
34s
mathcomp
34s
Annotations
2 warnings
|
coquelicot
Failed to download action 'https://github.com/repos/actions/checkout/tarball/eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
coquelicot
Back off 18.383 seconds before retry.
|