Skip circleci in ci/ghc-head

facundominguez · facundominguez · commit 282dcf4f7180 · 2025-05-06T19:16:07.000Z
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -140,6 +140,10 @@ commands:
 
 jobs:
 
+  # Skip in all workflows involving 'ci/ghc-head'
+  filters:
+    branches:
+      ignore: ci/ghc-head
   # Not used in workflows below at the moment, because stack doesn't
   # support GHC 9.12 yet.
   stack_900:
