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

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

hyperpolymath merged 6 commits into

mainhyperpolymath/panll:mainfrom

claude/new-session-ywdrthhyperpolymath/panll:claude/new-session-ywdrthCopy head branch name to clipboard