Merge branch 'develop' into 633-command-line-options-are-not-sorter-w…

…hich-is-confusing
objectionary · Dec 16, 2024 · 266fd56 · 266fd56
2 parents 5bacdd8 + 22e04be
commit 266fd56
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ghc.yml b/.github/workflows/ghc.yml
@@ -32,6 +32,7 @@ name: GHC (build, test, haddock)
   pull_request:
     branches:
       - master
+      - develop
     paths-ignore: [ 'README.md' ]
 
   # Allows you to run this workflow manually from the Actions tab