From ccf54bd305362949728736731f78ee52cb23770c Mon Sep 17 00:00:00 2001
From: Krzysztof Gogolewski <krzysztof.gogolewski@tweag.io>
Date: Mon, 2 Oct 2023 08:03:16 +0200
Subject: [PATCH] Mark servant and hgeometry as no longer broken
The fixes have been backported, servant should work in 9.4.5, hgeometry in 9.8.1.
---
ci/config.sh | 5 -----
1 file changed, 5 deletions(-)
diff --git a/ci/config.sh b/ci/config.sh
index e529e00e..8fcbbe83 100644
--- a/ci/config.sh
+++ b/ci/config.sh
@@ -91,8 +91,6 @@ case $version in
9.4.*)
# package ticket
broken linear-generics 22546
- broken servant-conduit 22915
- broken servant-machines 22913
;;
9.6.*)
@@ -101,9 +99,6 @@ case $version in
9.8.*)
# package ticket
- broken hgeometry 23938
- broken hgeometry-combinatorial 23938
- broken hgeometry-ipe 23938
;;
9.9.*)
--
GitLab