Skip to content

chore: address weekly linting report - #1168

Open
jessealama wants to merge 4 commits into
leanprover:mainfrom
jessealama:weekly-lint-2026-10-26
Open

jessealama wants to merge 4 commits into
leanprover:mainfrom
jessealama:weekly-lint-2026-10-26

chore(Circuit): merge tactics into grind

20eda18
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
ci-checks
succeeded Oct 28, 2026 in 8m 11s