diff --git a/ci/config.sh b/ci/config.sh index a3425fa8a7671e6a21480b59dc3bea488109c62e..a2a53f92e9ba37b8f49478b9cbb5e1334d3a25b6 100644 --- a/ci/config.sh +++ b/ci/config.sh @@ -85,7 +85,6 @@ case $version in 9.5.*) # package ticket - broken "Agda" 22114 ;; *)