diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/lint.yml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml new file mode 100644 index 000000000..d2f463ec7 --- /dev/null +++ b/.github/workflows/lint.yml @@ -0,0 +1,30 @@ +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: Download and run hlint + run: | + curl -sSL "${hlint_script}" | sh -s . |