add link to coqdoc #2508
Triggered via pull request
October 2, 2023 09:31
affeldt-aist
affeldt-aist
opened
#1034
Status
Success
Total duration
29m 6s
Artifacts
–
nix-action-8.14.yml
on: pull_request_target
coq
2m 31s
mathcomp-analysis
15m 32s
mathcomp-analysis-single
16m 10s
Annotations
8 warnings
|
coq
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/f43a0e5ff2bd294095638e18286ca9a3d1956744'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
coq
Back off 12.542 seconds before retry.
|
|
mathcomp-analysis
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/f43a0e5ff2bd294095638e18286ca9a3d1956744'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
mathcomp-analysis
Back off 18.421 seconds before retry.
|
|
mathcomp-analysis
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/f43a0e5ff2bd294095638e18286ca9a3d1956744'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
mathcomp-analysis
Back off 18.509 seconds before retry.
|
|
mathcomp-analysis-single
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/f43a0e5ff2bd294095638e18286ca9a3d1956744'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
|
|
mathcomp-analysis-single
Back off 15.282 seconds before retry.
|