Skip to content
Nix CI for bundle 9.0-2.4.0

Merge pull request #1884 from proux01/ci-update #29

Sign in to view logs

Merge pull request #1884 from proux01/ci-update

Merge pull request #1884 from proux01/ci-update #29

Triggered via push March 5, 2026 18:52
@proux01proux01
pushed 4417f3f
master
Status Success
Total duration 20m 50s
Artifacts –

nix-action-9.0-2.4.0.yml

on: push
rocq-core
55s
rocq-core
coq
54s
coq
mathcomp
46s
mathcomp
mathcomp-classical
50s
mathcomp-classical
mathcomp-analysis-single
18m 51s
mathcomp-analysis-single
mathcomp-reals
1m 11s
mathcomp-reals
mathcomp-analysis
52s
mathcomp-analysis
mathcomp-reals-stdlib
1m 1s
mathcomp-reals-stdlib
mathcomp-experimental-reals
50s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
51s
mathcomp-analysis-stdlib
ssprove
53s
ssprove
mathcomp-infotheo
55s
mathcomp-infotheo
Fit to window
Zoom out
Zoom in