8000 chore: remove staging workarounds by leodemoura · Pull Request #8908 · leanprover/lean4 · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

chore: remove staging workarounds#8908

Merged
leodemoura merged 1 commit intomasterfrom
pp_grind_attr2
Jun 21, 2025
Merged

chore: remove staging workarounds#8908
leodemoura merged 1 commit intomasterfrom
pp_grind_attr2

Commits

Commits on Jun 21, 2025
0