8000 chore: failing grind tests (subset of #8518) by kim-em · Pull Request #8526 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: failing grind tests (subset of #8518)#8526

Merged
kim-em merged 7 commits intomasterfrom
8518_partial
May 29, 2025
Merged

chore: failing grind tests (subset of #8518)#8526
kim-em merged 7 commits intomasterfrom
8518_partial

Commits

Commits on May 28, 2025

Commits on May 29, 2025
0