Skip to content

[#14990] feat: add lake check to check a project against external checkers - #33

Merged
downstream-lean4[bot] merged 5 commits into
masterfrom
adaptation-14990
Sep 8, 2026
Merged

[#14990] feat: add lake check to check a project against external checkers#33
downstream-lean4[bot] merged 5 commits into
masterfrom
adaptation-14990

downstream: undo overrides

6474f96
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar