feat: add grind +simp mode
#18525
Triggered via pull request
December 11, 2025 05:45
kim-em
Status
Cancelled
Total duration
6h 0m 17s
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.
|