diff --git a/ci/config.sh b/ci/config.sh index e529e00e371ebe74a9af55dc3ee983b1b0d5a33a..8fcbbe83dadd69904028c4f5aa540d52a367ccc2 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.*)