chore: make auto param decls of private decls private #18493
Triggered via pull request
December 11, 2025 00:57
kim-em
Status
Cancelled
Total duration
6h 0m 19s
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.
|