diff options
Diffstat (limited to '.github/workflows/ci.yml')
-rw-r--r-- | .github/workflows/ci.yml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 65a2452ec..4debe1ebe 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -58,9 +58,6 @@ jobs: steps: - uses: actions/checkout@v2 - - name: Basic sanity checks - run: make check - # need to install older cabal/ghc versions from ppa repository - name: Install recent cabal/ghc @@ -107,9 +104,6 @@ jobs: steps: - uses: actions/checkout@v2 - - name: Basic sanity checks - run: make check - # We should have ghc 8.10, cabal, stack pre-installed # - uses: actions/setup-haskell@v1.1.3 # with: @@ -159,9 +153,6 @@ jobs: steps: - uses: actions/checkout@v2 - - name: Basic sanity checks - run: make check - - name: Install recent cabal/ghc uses: actions/setup-haskell@v1.1.3 with: |