Merge pull request #1560 from ndmitchell/ci-disable-ghc-next

ndmitchell · Jan 28, 2024 · 8bd116c · 8bd116c
2 parents 449f466 + fb23044
commit 8bd116c
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,8 @@
 name: ci
 on:
   push:
+    branches-ignore:
+      - 'ghc-next'
   pull_request:
   schedule:
   - cron:  '0 3 * * 6' # 3am Saturday