diff --git a/ci/config.sh b/ci/config.sh index cb9ba21b01f056a5f56ba0490b6b8dbe4a4caeef..7f4335ce1655127f06855f18d50a6bdf2cd1d604 100644 --- a/ci/config.sh +++ b/ci/config.sh @@ -108,6 +108,10 @@ case $version in # package ticket ;; + 9.11.*) + # package ticket + broken futhark 24638 + ;; *) echo "No broken packages for GHC $version" ;;