diff --git a/.github/workflows/ghc.yml b/.github/workflows/ghc.yml index cf13d3e2a..1e747b91a 100644 --- 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: