Skip to content
Nix CI for bundle 9.1

Bolzano weierstrass #433

Sign in to view logs

Bolzano weierstrass

Bolzano weierstrass #433

Triggered via pull request December 26, 2025 19:08
@CohenCyrilCohenCyril
synchronize #1787
Status Failure
Total duration 10m 27s
Artifacts –

nix-action-9.1.yml

on: pull_request_target
rocq-core
53s
rocq-core
coq
55s
coq
mathcomp-classical
2m 26s
mathcomp-classical
mathcomp-analysis-single
2m 39s
mathcomp-analysis-single
mathcomp-reals
0s
mathcomp-reals
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-experimental-reals
0s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
0s
mathcomp-analysis-stdlib
Fit to window
Zoom out
Zoom in

Annotations

2 errors
mathcomp-classical
Process completed with exit code 1.
mathcomp-analysis-single
Process completed with exit code 1.