Skip to content
Nix CI for bundle 8.20-2.4.0

Adapt to https://github.com/math-comp/math-comp/pull/1545 #625

Sign in to view logs

Adapt to https://github.com/math-comp/math-comp/pull/1545

Adapt to https://github.com/math-comp/math-comp/pull/1545 #625

Triggered via pull request March 2, 2026 13:02
@proux01proux01
synchronize #1860
Status Success
Total duration 28m 15s
Artifacts –

nix-action-8.20-2.4.0.yml

on: pull_request_target
coq
52s
coq
mathcomp-classical
3m 6s
mathcomp-classical
mathcomp
51s
mathcomp
mathcomp-analysis-single
16m 40s
mathcomp-analysis-single
mathcomp-reals
2m 9s
mathcomp-reals
mathcomp-analysis
14m 27s
mathcomp-analysis
mathcomp-reals-stdlib
1m 24s
mathcomp-reals-stdlib
mathcomp-experimental-reals
1m 57s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
1m 40s
mathcomp-analysis-stdlib
ssprove
7m 26s
ssprove
Fit to window
Zoom out
Zoom in