perf: de-fuel some recursive definitions in Core #18127
Triggered via pull request
December 5, 2025 14:30
nomeata
Status
Cancelled
Total duration
6h 0m 16s
Artifacts
–
awaiting-mathlib.yml
on: pull_request
check-awaiting-mathlib
6h 0m
Annotations
2 errors and 1 notice
|
check-awaiting-mathlib
The job has exceeded the maximum execution time of 6h0m0s
|
|
check-awaiting-mathlib
The operation was canceled.
|
|
Awaiting mathlib
PR is marked 'awaiting-mathlib' but neither 'breaks-mathlib' nor 'builds-mathlib' labels are present.
|