aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorPhil de Joux <philderbeast@gmail.com>2022-05-02 08:46:38 -0400
committerGitHub <noreply@github.com>2022-05-02 14:46:38 +0200
commite53854655a796579efcaaf1c4321f388910af3d0 (patch)
tree7ce4f2b39ce6b53327353825578574fe60041591 /.github
parent0c5447f74bb53f754e7ac32c1a01d57e138a9fc5 (diff)
Add hlint action .hlint.yaml with ignores & CPP. (#1475)
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/hlint-ci.yml26
1 files changed, 26 insertions, 0 deletions
diff --git a/.github/workflows/hlint-ci.yml b/.github/workflows/hlint-ci.yml
new file mode 100644
index 00000000..b6bdc029
--- /dev/null
+++ b/.github/workflows/hlint-ci.yml
@@ -0,0 +1,26 @@
+name: hlint
+
+on:
+ pull_request:
+ push:
+
+jobs:
+ build:
+ name: hlint
+ runs-on: ubuntu-latest
+
+ steps:
+ - uses: actions/checkout@v2
+ with:
+ submodules: true
+
+ - uses: rwe/actions-hlint-setup@v1
+ name: Set up HLint
+ with:
+ version: "3.3.6"
+
+ - uses: rwe/actions-hlint-run@v2
+ name: hlint
+ with:
+ path: '[ "haddock-library/", "haddock-api/", "haddock-test/", "hoogle-test/", "html-test/", "hypsrc-test/", "latex-test/" ]'
+ fail-on: suggestion \ No newline at end of file