Skip to content
Back to pull request #449

fix cat #298

Sign in to view logs

fix cat

fix cat #298

Triggered via pull request October 3, 2024 13:53
@CohenCyrilCohenCyril
opened #449
Status Failure
Total duration 6h 34m 25s
Artifacts –

nix-action-coq-8.18.yml

on: pull_request_target
coq
40s
coq
hierarchy-builder
1m 21s
hierarchy-builder
mathcomp-ssreflect
5m 52s
mathcomp-ssreflect
mathcomp-single
8m 59s
mathcomp-single
mathcomp-fingroup
6m 24s
mathcomp-fingroup
mathcomp-bigenough
5m 54s
mathcomp-bigenough
QuickChick
6m 18s
QuickChick
mathcomp-finmap
6m 12s
mathcomp-finmap
coquelicot
6m 24s
coquelicot
Verdi
6m 47s
Verdi
autosubst
5m 52s
autosubst
deriving
6m 22s
deriving
reglang
1m 36s
reglang
mathcomp-algebra
5m 6s
mathcomp-algebra
async-test
1m 33s
async-test
interval
2m 42s
interval
mathcomp-solvable
2m 58s
mathcomp-solvable
mathcomp-classical
4m 12s
mathcomp-classical
multinomials
2m 9s
multinomials
fourcolor
13m 12s
fourcolor
coq-bits
1m 23s
coq-bits
addition-chains
2m 1s
addition-chains
http
1m 32s
http
mathcomp-field
3m 58s
mathcomp-field
mathcomp-character
5m 20s
mathcomp-character
mathcomp-real-closed
5m 8s
mathcomp-real-closed
mathcomp-analysis
6h 0m
mathcomp-analysis
mathcomp
3m 0s
mathcomp
coqeal
4m 30s
coqeal
odd-order
13m 31s
odd-order
Fit to window
Zoom out
Zoom in

Annotations

2 errors
mathcomp-analysis
The job running on runner GitHub Actions 19 has exceeded the maximum execution time of 360 minutes.
mathcomp-analysis
The operation was canceled.