Mark singletons-base as broken on GHC <= 9.10

c2a97623 · Zubin · Teo Camarasu · 03df661a · c2a97623
Commit c2a97623 authored 3 months ago by Zubin Committed by Teo Camarasu 2 months ago
--- a/ci/config.sh
+++ b/ci/config.sh
@@ -91,16 +91,22 @@ case $version in
  9.6.*)
    #       package                   ticket
    broken  liquidhaskell-boot        350
+    # singletons-base only supports the latest ghc
+    broken singletons-base            00000
    ;;

  9.8.*)
    #       package                   ticket
    broken  liquidhaskell-boot        350
+    # singletons-base only supports the latest ghc
+    broken singletons-base            00000
    ;;

  9.10.*)
    #       package                   ticket
    broken  liquidhaskell-boot        350
+    # singletons-base only supports the latest ghc
+    broken singletons-base            00000
    ;;

  9.12.*)