Skip to content

refactor(Tactic/Linter/Header): make the header linter stateful - #42201

Open
marcelolynch wants to merge 17 commits into
leanprover-community:masterfrom
marcelolynch:2026/07/HeaderStateful
Open

refactor(Tactic/Linter/Header): make the header linter stateful#42201
marcelolynch wants to merge 17 commits into
leanprover-community:masterfrom
marcelolynch:2026/07/HeaderStateful

refactor(Tactic/Linter/Header): make the new header linter implementa…

48540ad
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Sep 2, 2026 in 1m 18s