[Merged by Bors] - feat(MeasureTheory): a relatively compact set of measures is tight #255612
Triggered via pull request
December 17, 2025 23:48
FormulaRabbit81
FormulaRabbit81
synchronize
#30116
Status
Cancelled
Total duration
1m 30s
Artifacts
–
build_fork.yml
on: pull_request_target
Build (fork)
1m 27s
Lint style (fork)
1m 26s
Post-CI job (fork)
0s
Annotations
5 errors
|
Build (fork)
Canceling since a higher priority waiting request for continuous integration (mathlib forks)-30116- exists
|
|
Build (fork)
The operation was canceled.
|
|
Lint style (fork)
Canceling since a higher priority waiting request for continuous integration (mathlib forks)-30116- exists
|
|
Lint style (fork)
The operation was canceled.
|
|
continuous integration (mathlib forks)
Canceling since a higher priority waiting request for continuous integration (mathlib forks)-30116- exists
|