Skip to content
Nix CI for bundle 9.1

Fixed the infamous %E scope bug #657

Sign in to view logs

Fixed the infamous %E scope bug

Fixed the infamous %E scope bug #657

Triggered via pull request March 3, 2026 00:24
@CohenCyrilCohenCyril
synchronize #1869
Status Failure
Total duration 13m 8s
Artifacts –

nix-action-9.1.yml

on: pull_request_target
rocq-core
49s
rocq-core
coq
45s
coq
mathcomp-classical
48s
mathcomp-classical
mathcomp-analysis-single
6m 50s
mathcomp-analysis-single
mathcomp-reals
55s
mathcomp-reals
mathcomp-analysis
4m 52s
mathcomp-analysis
mathcomp-reals-stdlib
43s
mathcomp-reals-stdlib
mathcomp-experimental-reals
45s
mathcomp-experimental-reals
mathcomp-analysis-stdlib
0s
mathcomp-analysis-stdlib
mathcomp-infotheo
0s
mathcomp-infotheo
Fit to window
Zoom out
Zoom in

Annotations

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