Skip to content

Repair main's CI and the proof spine; one Idris2 source for the SQLite boundary - #5

Merged
hyperpolymath merged 6 commits into
mainfrom
claude/new-session-l2ejzl
Nov 10, 2026
Merged

Repair main's CI and the proof spine; one Idris2 source for the SQLite boundary#5
hyperpolymath merged 6 commits into
mainfrom
claude/new-session-l2ejzl

actions.lock: record checkout@3d3c42e with its tag ref, as the templa…

a8fe3d7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar