Skip to content

Update Lean and SQLite#6

Merged
BRonen merged 3 commits into
BRonen:masterfrom
i-love-lean:master
Nov 19, 2025
Merged

Update Lean and SQLite#6
BRonen merged 3 commits into
BRonen:masterfrom
i-love-lean:master

Update Lean to v4.25.1

f717a0c
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.