Skip to content
Nix CI for bundle master

Adapt to https://github.com/math-comp/math-comp/pull/1545 (#1860) #5053

Sign in to view logs

Adapt to https://github.com/math-comp/math-comp/pull/1545 (#1860)

Adapt to https://github.com/math-comp/math-comp/pull/1545 (#1860) #5053

Triggered via push March 3, 2026 14:40
@affeldt-aistaffeldt-aist
pushed 3ee2f0f
master
Status Success
Total duration 1h 14m 39s
Artifacts –

nix-action-master.yml

on: push
rocq-core
2m 20s
rocq-core
rocq-elpi
2m 59s
rocq-elpi
coq
1m 10s
coq
stdlib
3m 58s
stdlib
coq-elpi
48s
coq-elpi
mathcomp-bigenough
2m 32s
mathcomp-bigenough
mathcomp-finmap
2m 43s
mathcomp-finmap
hierarchy-builder
1m 28s
hierarchy-builder
mathcomp-classical
7m 25s
mathcomp-classical
mathcomp
14m 42s
mathcomp
mathcomp-analysis-single
26m 34s
mathcomp-analysis-single
mathcomp-reals
2m 9s
mathcomp-reals
mathcomp-analysis
30m 31s
mathcomp-analysis
mathcomp-reals-stdlib
14m 46s
mathcomp-reals-stdlib
mathcomp-experimental-reals
3m 8s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
17m 15s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in