Skip to content
Nix CI for bundle 9.0

Bolzano weierstrass #1245

Sign in to view logs

Bolzano weierstrass

Bolzano weierstrass #1245

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

nix-action-9.0.yml

on: pull_request_target
rocq-core
56s
rocq-core
coq
53s
coq
mathcomp-classical
2m 32s
mathcomp-classical
mathcomp-analysis-single
2m 34s
mathcomp-analysis-single
mathcomp-reals
0s
mathcomp-reals
mathcomp-analysis
0s
mathcomp-analysis
mathcomp-reals-stdlib
0s
mathcomp-reals-stdlib
mathcomp-experimental-reals
mathcomp-experimental-reals
mathcomp-analysis-stdlib
mathcomp-analysis-stdlib
ssprove
ssprove
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.