Skip to content

fix(ci): panel-clades-abi pins Idris2 by commit, drops the checkout token, shows the log tail - #146

Merged
hyperpolymath merged 6 commits into
mainfrom
claude/new-session-ywdrth
Oct 14, 2026
Merged

fix(ci): panel-clades-abi pins Idris2 by commit, drops the checkout token, shows the log tail#146
hyperpolymath merged 6 commits into
mainfrom
claude/new-session-ywdrth

merge main (#145 squash-merged) into claude/new-session-ywdrth

9c1a250
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar