Skip to content

Merge pull request #623 from keram/issue-622-idris-start-project-ipkg #261

Merge pull request #623 from keram/issue-622-idris-start-project-ipkg

Merge pull request #623 from keram/issue-622-idris-start-project-ipkg #261

Annotations

1 error and 1 warning

build (25.3, stackage)

failed Apr 23, 2024 in 18m 13s