Skip to content

ci(abi): run Idris2 type-check in the pinned idris2-pack container (#58) #152

ci(abi): run Idris2 type-check in the pinned idris2-pack container (#58)

ci(abi): run Idris2 type-check in the pinned idris2-pack container (#58) #152

Triggered via push July 2, 2026 15:27
Status Failure
Total duration
Artifacts

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error
Invalid workflow file: .github/workflows/dogfood-gate.yml#L266
You have an error in your yaml syntax on line 266