Skip to content

chore: auto-merge lake update PRs#676

Open
buyolitsez wants to merge 1 commit into
leanprover:mainfrom
buyolitsez:294
Open

chore: auto-merge lake update PRs#676
buyolitsez wants to merge 1 commit into
leanprover:mainfrom
buyolitsez:294

chore: auto-merge lake update PRs

02c5031
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jun 23, 2026 in 3s