Commit 2025-08-11 21:53 303d9f5c
View on Github →fix: revert several flaky grind golfs (#28272) These proofs (and probably others) are causing CI failures. We can revert this after https://github.com/leanprover/lean4/pull/9825 is fixed. cf. #mathlib4 > Failing CI @ 💬