diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 32a0cde..cf188ae 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -113,3 +113,16 @@ jobs: - name: Test run: | stack test --system-ghc + + hlint: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v2 + + - name: Run HLint + env: + HLINT_VERSION: "3.2.7" + run: | + curl -L https://github.com/ndmitchell/hlint/releases/download/v${HLINT_VERSION}/hlint-${HLINT_VERSION}-x86_64-linux.tar.gz --output hlint.tar.gz + tar -xvf hlint.tar.gz + ./hlint-${HLINT_VERSION}/hlint src/ test/ diff --git a/.github/workflows/hlint.yml b/.github/workflows/hlint.yml deleted file mode 100644 index fe085e7..0000000 --- a/.github/workflows/hlint.yml +++ /dev/null @@ -1,24 +0,0 @@ -name: lint -on: - pull_request: - push: - branches: - - master - - 'releases/*' - -jobs: - hlint: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - - name: 'Set up HLint' - uses: rwe/actions-hlint-setup@v1 - with: - version: '3.1.6' - - - name: 'Run HLint' - uses: rwe/actions-hlint-run@v2 - with: - path: '["src/", "test/"]' - fail-on: warning