Skip to content

feat: add builtin linter sets and make linter.extra a builtin linter set#13852

Open
wkrozowski wants to merge 5 commits into
leanprover:masterfrom
wkrozowski:wojciech/builtinLinterSets
Open

feat: add builtin linter sets and make linter.extra a builtin linter set#13852
wkrozowski wants to merge 5 commits into
leanprover:masterfrom
wkrozowski:wojciech/builtinLinterSets

Commits

Commits on May 26, 2026

Commits on May 27, 2026

Commits on May 28, 2026