Skip to content
Nix CI for bundle coq-8.18

[CI] Add test-suite #305

Sign in to view logs

[CI] Add test-suite

[CI] Add test-suite #305

Triggered via pull request October 16, 2024 07:32
@proux01proux01
synchronize #450
Status Failure
Total duration 6h 42m 14s
Artifacts –

nix-action-coq-8.18.yml

on: pull_request_target
coq
42s
coq
hierarchy-builder
1m 19s
hierarchy-builder
mathcomp-ssreflect
5m 59s
mathcomp-ssreflect
mathcomp-single
9m 0s
mathcomp-single
mathcomp-fingroup
6m 33s
mathcomp-fingroup
mathcomp-bigenough
5m 54s
mathcomp-bigenough
QuickChick
6m 30s
QuickChick
mathcomp-finmap
6m 6s
mathcomp-finmap
coquelicot
6m 13s
coquelicot
Verdi
6m 15s
Verdi
autosubst
5m 44s
autosubst
deriving
6m 27s
deriving
reglang
6m 14s
reglang
mathcomp-algebra
4m 51s
mathcomp-algebra
async-test
1m 21s
async-test
interval
2m 35s
interval
mathcomp-solvable
2m 42s
mathcomp-solvable
mathcomp-classical
4m 14s
mathcomp-classical
multinomials
2m 12s
multinomials
fourcolor
13m 9s
fourcolor
coq-bits
1m 25s
coq-bits
addition-chains
1m 59s
addition-chains
http
1m 28s
http
mathcomp-field
5m 57s
mathcomp-field
mathcomp-character
2m 50s
mathcomp-character
mathcomp-real-closed
2m 38s
mathcomp-real-closed
mathcomp-analysis
6h 0m
mathcomp-analysis
mathcomp
1m 49s
mathcomp
coqeal
5m 23s
coqeal
odd-order
13m 29s
odd-order
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 2 warnings
mathcomp-analysis
The job running on runner GitHub Actions 11 has exceeded the maximum execution time of 360 minutes.
mathcomp-analysis
The operation was canceled.
mathcomp-field
Failed to download action 'https://api.github.com/repos/actions/checkout/tarball/eef61447b9ff4aafe5dcd4e0bbf5d482be7e7871'. Error: The request was canceled due to the configured HttpClient.Timeout of 100 seconds elapsing.
mathcomp-field
Back off 22.97 seconds before retry.