Skip to content
Nix CI for bundle 9.0-2.4.0

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

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) #6

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

nix-action-9.0-2.4.0.yml

on: push
rocq-core
46s
rocq-core
coq
41s
coq
mathcomp-classical
2m 35s
mathcomp-classical
mathcomp
41s
mathcomp
mathcomp-analysis-single
14m 11s
mathcomp-analysis-single
mathcomp-reals
1m 52s
mathcomp-reals
mathcomp-analysis
12m 28s
mathcomp-analysis
mathcomp-reals-stdlib
1m 24s
mathcomp-reals-stdlib
mathcomp-experimental-reals
2m 14s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
12m 43s
mathcomp-analysis-stdlib
ssprove
16m 56s
ssprove
mathcomp-infotheo
6m 44s
mathcomp-infotheo
Fit to window
Zoom out
Zoom in