From c50e1d64ca63c934acfb06dc9e0aa416953ebae0 Mon Sep 17 00:00:00 2001
From: Ryan Scott <ryan.gl.scott@gmail.com>
Date: Wed, 31 Aug 2022 08:09:11 -0400
Subject: [PATCH] Remove Agda from expected-to-fail packages on HEAD
---
ci/config.sh | 1 -
1 file changed, 1 deletion(-)
diff --git a/ci/config.sh b/ci/config.sh
index a3425fa8..a2a53f92 100644
--- a/ci/config.sh
+++ b/ci/config.sh
@@ -85,7 +85,6 @@ case $version in
9.5.*)
# package ticket
- broken "Agda" 22114
;;
*)
--
GitLab