Skip to content
Nix CI for bundle master

Fixes 1789 #4826

Sign in to view logs

Fixes 1789

Fixes 1789 #4826

Triggered via pull request December 31, 2025 09:44
@affeldt-aistaffeldt-aist
opened #1813
Status Success
Total duration 49m 3s
Artifacts –

nix-action-master.yml

on: pull_request_target
rocq-core
2m 21s
rocq-core
rocq-elpi
3m 3s
rocq-elpi
coq
1m 21s
coq
stdlib
3m 43s
stdlib
coq-elpi
54s
coq-elpi
mathcomp-bigenough
2m 46s
mathcomp-bigenough
mathcomp-finmap
2m 58s
mathcomp-finmap
hierarchy-builder
1m 44s
hierarchy-builder
mathcomp-classical
9m 29s
mathcomp-classical
mathcomp
13m 43s
mathcomp
mathcomp-analysis-single
27m 37s
mathcomp-analysis-single
mathcomp-reals
2m 12s
mathcomp-reals
mathcomp-analysis
14m 49s
mathcomp-analysis
mathcomp-reals-stdlib
1m 44s
mathcomp-reals-stdlib
mathcomp-experimental-reals
2m 2s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
15m 32s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in