From d0f8fd2fa0616d7cddcd884132dcd108ef705601 Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Tue, 9 Nov 2021 06:17:15 -0500
Subject: [PATCH] Revert "Mark some libraries as expected HEAD failures due to
ghc/ghc#20584"
This reverts commit 3bbe1d2b016cfbdacee6c5a3050bb4cb51900386.
---
ci/config.sh | 4 ----
1 file changed, 4 deletions(-)
diff --git a/ci/config.sh b/ci/config.sh
index 951b3ad5..3fb2edfa 100644
--- a/ci/config.sh
+++ b/ci/config.sh
@@ -82,10 +82,6 @@ case $version in
# package ticket
broken "Agda" 20294
broken "diagrams-core" 20539
- broken "inj-base" 20584
- broken "lens" 20584
- broken "microlens" 20584
- broken "mono-traversable" 20584
;;
*)
--
GitLab