diff options
Diffstat (limited to '.github/workflows/lint.yml.bkp')
-rw-r--r-- | .github/workflows/lint.yml.bkp | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/.github/workflows/lint.yml.bkp b/.github/workflows/lint.yml.bkp new file mode 100644 index 000000000..13f4919da --- /dev/null +++ b/.github/workflows/lint.yml.bkp @@ -0,0 +1,33 @@ +name: Lint + +# Trigger the workflow on push or pull request, but only for the +# master branch +on: + pull_request: + branch: [master] + push: + branch: [master] + paths-ignore: + - LICENSE + - README.md + - CHANGELOG.md + - stack.yaml + - .travis.yml + +jobs: + lint: + name: Lint + runs-on: ubuntu-latest + env: + hlint_script: https://raw.github.com/ndmitchell/hlint/master/misc/run.sh + + steps: + - name: Checkout + uses: actions/checkout@v2 + + - name: Check cabal file for missing test files + run: make check-cabal + + - name: Download and run hlint + run: | + curl -sSL "${hlint_script}" | sh -s src app test |