diff --git a/.github/workflows/ghc.yml b/.github/workflows/ghc.yml index e96f8099b..d3330b314 100644 --- a/.github/workflows/ghc.yml +++ b/.github/workflows/ghc.yml @@ -41,6 +41,7 @@ jobs: stack-build-arguments: ${{ github.ref_name != 'master' && '--fast' || '' }} --pedantic pipeline: + if: false name: "Run pipeline" runs-on: ubuntu-latest strategy: