Skip to content
Nix CI for bundle coq-master

Compile without Stdlib #428

Sign in to view logs

Compile without Stdlib

Compile without Stdlib #428

Triggered via pull request February 11, 2025 10:48
@proux01proux01
synchronize #514
Status Success
Total duration 34m 30s
Artifacts –

nix-action-coq-master.yml

on: pull_request_target
coq
42s
coq
mathcomp-single
41s
mathcomp-single
stdlib
43s
stdlib
bignums
1m 26s
bignums
coq-elpi
51s
coq-elpi
hierarchy-builder
1m 13s
hierarchy-builder
mathcomp-ssreflect
2m 49s
mathcomp-ssreflect
mathcomp-fingroup
1m 45s
mathcomp-fingroup
mathcomp-bigenough
1m 8s
mathcomp-bigenough
mathcomp-finmap
1m 19s
mathcomp-finmap
deriving
1m 40s
deriving
reglang
1m 34s
reglang
mathcomp-algebra
3m 46s
mathcomp-algebra
mathcomp-solvable
2m 28s
mathcomp-solvable
mathcomp-classical
2m 41s
mathcomp-classical
multinomials
1m 56s
multinomials
fourcolor
13m 19s
fourcolor
coq-bits
1m 27s
coq-bits
mathcomp-field
3m 4s
mathcomp-field
mathcomp-reals
3m 21s
mathcomp-reals
mathcomp-character
4m 3s
mathcomp-character
mathcomp-real-closed
4m 4s
mathcomp-real-closed
mathcomp-reals-stdlib
1m 18s
mathcomp-reals-stdlib
mathcomp-analysis
11m 38s
mathcomp-analysis
mathcomp-experimental-reals
1m 41s
mathcomp-experimental-reals
mathcomp
2m 25s
mathcomp
coqeal
3m 55s
coqeal
mathcomp-analysis-stdlib
1m 41s
mathcomp-analysis-stdlib
odd-order
9m 3s
odd-order
Fit to window
Zoom out
Zoom in