Skip to content

chore: bump leansqlite and update calls#364

Merged
hargoniX merged 1 commit intoleanprover:mainfrom
david-christiansen:bump-leansqlite
Feb 24, 2026
Merged

chore: bump leansqlite and update calls#364
hargoniX merged 1 commit intoleanprover:mainfrom
david-christiansen:bump-leansqlite

Commits

Commits on Feb 24, 2026