pandoc/.github/workflows/lint.yml.bkp
John MacFarlane 1cbaea673d Stop doing lint in CI.
The script failed for reasons I can't determine.
For now, we disable it.
2021-09-20 23:20:48 -07:00

33 lines
686 B
Text

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