Closed ErikSchierboom closed 1 year 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/coq/runs/3066718951
https://github.com/exercism/v3-launch/issues/55
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.The following CI workflows are currently failing:
https://github.com/exercism/coq/runs/3066718951
Tracking
https://github.com/exercism/v3-launch/issues/55