Closed ErikSchierboom closed 2 years ago
This repository's main branch currently does not pass all CI checks. This makes detecting issues in PRs harder and might result in a broken track, and so is an important thing to fix.
main
The following CI workflows are currently failing:
https://github.com/exercism/idris/runs/3066721829
https://github.com/exercism/v3-launch/issues/55
This repository's
mainbranch currently does not pass all CI checks. This makes detecting issues in PRs harder and might result in a broken track, and so is an important thing to fix.The following CI workflows are currently failing:
https://github.com/exercism/idris/runs/3066721829
Tracking
https://github.com/exercism/v3-launch/issues/55