fix: set shell for pipeline

objectionary · Feb 9, 2024 · 64bdd1f · 64bdd1f
1 parent 5557e89
commit 64bdd1f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ghc.yml b/.github/workflows/ghc.yml
@@ -72,6 +72,7 @@ jobs:
           java-version: 21
 
       - name: Run pipeline
+        shell: bash
         run: ./pipeline.sh
 
   haddock: