Skip to content

Merge remote-tracking branch 'origin/master' into adomani/pp_in_grind…

a8fb36a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

fix: add missing pp-spaces in grind_pattern #11686

Merge remote-tracking branch 'origin/master' into adomani/pp_in_grind…
a8fb36a
Select commit
Loading
Failed to load commit list.
check-awaiting-mathlib
succeeded Mar 17, 2026 in 5s