Skip to content
Nix CI for bundle coq-9.0

Merge pull request #566 from CohenCyril/blacklist #211

Sign in to view logs

Merge pull request #566 from CohenCyril/blacklist

Merge pull request #566 from CohenCyril/blacklist #211

Triggered via push January 8, 2026 09:57
@CohenCyrilCohenCyril
pushed 2156a76
master
Status Success
Total duration 1h 17m 40s
Artifacts –

nix-action-coq-9.0.yml

on: push
rocq-core
25s
rocq-core
coq
20s
coq
hierarchy-builder
1m 16s
hierarchy-builder
ExtLib
21s
ExtLib
mathcomp-boot
1m 29s
mathcomp-boot
mathcomp-single
7m 13s
mathcomp-single
simple-io
27s
simple-io
mathcomp-fingroup
2m 22s
mathcomp-fingroup
mathcomp-bigenough
1m 54s
mathcomp-bigenough
mathcomp-order
3m 41s
mathcomp-order
mathcomp-finmap
1m 7s
mathcomp-finmap
coquelicot
2m 27s
coquelicot
autosubst
59s
autosubst
QuickChick
1m 16s
QuickChick
mathcomp-algebra
4m 45s
mathcomp-algebra
mathcomp-ssreflect
1m 0s
mathcomp-ssreflect
interval
2m 8s
interval
mathcomp-solvable
2m 15s
mathcomp-solvable
mathcomp-zify
1m 28s
mathcomp-zify
multinomials
1m 50s
multinomials
fourcolor
13m 5s
fourcolor
mathcomp-classical
2m 49s
mathcomp-classical
mathcomp-word
1m 16s
mathcomp-word
deriving
1m 26s
deriving
reglang
1m 29s
reglang
mathcomp-field
4m 13s
mathcomp-field
mathcomp-algebra-tactics
3m 12s
mathcomp-algebra-tactics
mathcomp-reals
1m 49s
mathcomp-reals
mathcomp-character
6m 3s
mathcomp-character
mathcomp-real-closed
6m 14s
mathcomp-real-closed
coq-bits
3m 5s
coq-bits
mathcomp-reals-stdlib
1m 12s
mathcomp-reals-stdlib
mathcomp-analysis
19m 45s
mathcomp-analysis
mathcomp-experimental-reals
1m 38s
mathcomp-experimental-reals
mathcomp
1m 1s
mathcomp
coqeal
4m 58s
coqeal
mathcomp-analysis-stdlib
17m 2s
mathcomp-analysis-stdlib
odd-order
10m 21s
odd-order
Fit to window
Zoom out
Zoom in