Fixed the infamous %E scope bug
#5045
Triggered via pull request
March 3, 2026 00:21
CohenCyril
CohenCyril
synchronize
#1869
Status
Failure
Total duration
19m 15s
Artifacts
–
nix-action-master.yml
on: pull_request_target
rocq-core
58s
rocq-elpi
1m 1s
mathcomp
48s
mathcomp-analysis-single
8m 22s
mathcomp-experimental-reals
2m 1s
mathcomp-analysis-stdlib
0s
Annotations
2 errors
|
mathcomp-analysis-single
Process completed with exit code 1.
|
|
mathcomp-analysis
Process completed with exit code 1.
|