Skip to content

Remove Agda as an expected failure on HEAD

Ryan Scott requested to merge RyanGlScott/head.hackage:Agda-should-work into master

Agda should work on HEAD after ghc!7801 (closed) and ghc!7727 (closed).

Merge request reports