Mark Agda as broken on HEAD due to ghc/ghc#20294

9b21848a · Ryan Scott · 8fefe7ba · 9b21848a
Commit 9b21848a authored 3 years ago by Ryan Scott
--- a/ci/config.sh
+++ b/ci/config.sh
@@ -82,6 +82,7 @@ case $version in

  9.3.*)
    #       package                   ticket
+    broken  "Agda"                    20294
    broken  "doctest"                 30 # head.hackage#30, that is
    ;;