Skip to content

ci: remove nine dangling .lake gitlinks that break every recursive checkout - #2221

Merged
gHashTag merged 1 commit into
masterfrom
fix/dangling-lake-gitlinks
Aug 19, 2026
Merged

ci: remove nine dangling .lake gitlinks that break every recursive checkout#2221
gHashTag merged 1 commit into
masterfrom
fix/dangling-lake-gitlinks

ci: remove nine dangling lean4_bridge/.lake gitlinks; ignore .lake (R…

ab7f9ae
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar