Skip to content

Update Lean to v4.28.0#7

Closed
i-love-lean wants to merge 2 commits into
BRonen:masterfrom
i-love-lean:master
Closed

Update Lean to v4.28.0#7
i-love-lean wants to merge 2 commits into
BRonen:masterfrom
i-love-lean:master

Update Lean to v4.28.0, SQLite to 3.51.2

03c55c9
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.