Skip to content

chore: lake update for 2026-02-02 - #313

Merged
fmontesi merged 1 commit into
leanprover:mainfrom
chenson2018:lake-update-2026-02-02
Feb 3, 2026
Merged

chore: lake update for 2026-02-02#313
fmontesi merged 1 commit into
leanprover:mainfrom
chenson2018:lake-update-2026-02-02

chore: `lake update` for 2026-02-02

02beb48
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.