Skip to content

Bump to Lean 4.31.0-rc1#37

Draft
dagurtomas wants to merge 1 commit into
sinhp:masterfrom
dagurtomas:bump-v4.31.0-rc1
Draft

Bump to Lean 4.31.0-rc1#37
dagurtomas wants to merge 1 commit into
sinhp:masterfrom
dagurtomas:bump-v4.31.0-rc1

Bump to Lean 4.31.0-rc1

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

Annotations

1 warning
Build project
succeeded Jun 8, 2026 in 2m 17s