Skip to content

Revert "Mark Agda as broken on HEAD due to ghc#20294"

Krzysztof Gogolewski requested to merge wip/agda-unbroken into master

This reverts commit 9b21848a.

The bug has been fixed.

Merge request reports