Skip to content

lean version bump up w/ lean ci#32

Open
Oscario0 wants to merge 2 commits into
verse-lab:masterfrom
Oscario0:master
Open

lean version bump up w/ lean ci#32
Oscario0 wants to merge 2 commits into
verse-lab:masterfrom
Oscario0:master

bumps lean version to latest release (#1)

d6e5120
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs