Skip to content

fix(ci): run idris2 --check from the proof's own directory (Idris2 Proof gate is red on main) - #47

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/fix-idris2-proof-workdir
Jun 27, 2026
Merged

fix(ci): run idris2 --check from the proof's own directory (Idris2 Proof gate is red on main)#47
hyperpolymath merged 1 commit into
mainfrom
claude/fix-idris2-proof-workdir

fix(ci): run idris2 --check from the proof's own directory

f0cf7d1
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar