chore: fix awaiting-mathlib.yml #13148
GitHub Actions / awaiting-mathlib label check
completed
May 26, 2025 in 0s
Awaiting mathlib
PR is marked "awaiting-mathlib" but neither "breaks-mathlib" nor "builds-mathlib" labels are present.
Loading