Repository navigation

ci: fix Idris2/Agda required-check deadlock (pass-through shim) - #256

Merged

hyperpolymath merged 1 commit into

mainfrom

fix/echidna-required-check-deadlock

Jun 13, 2026

Merged

ci: fix Idris2/Agda required-check deadlock (pass-through shim)#256
hyperpolymath merged 1 commit into
mainfrom
fix/echidna-required-check-deadlock

Commits on Jun 13, 2026
- ci: fix required-check deadlock on Idris2/Agda workflows (pass-through shim)
  
  hyperpolymath
  and
  claude
  committed
  15fc0b2