From 4788bfca11c366a8d184da2d13f12302429abd57 Mon Sep 17 00:00:00 2001 From: Patrick Wales Date: Fri, 26 Jan 2024 23:17:11 +0800 Subject: [PATCH] update hlint to 3.8 and prevent linting on testdata dir (#4018) --- .github/workflows/hlint.yml | 4 ++-- .hlint.yaml | 4 ---- 2 files changed, 2 insertions(+), 6 deletions(-) diff --git a/.github/workflows/hlint.yml b/.github/workflows/hlint.yml index 11d5445c1ca..c17bfec9210 100644 --- a/.github/workflows/hlint.yml +++ b/.github/workflows/hlint.yml @@ -15,12 +15,12 @@ jobs: - name: 'Installing' uses: rwe/actions-hlint-setup@v1 with: - version: '3.6.1' + version: '3.8' - name: 'Checking code' uses: rwe/actions-hlint-run@v2 with: - hlint-bin: "hlint --with-group=extra" + hlint-bin: "hlint --with-group=extra --ignore-glob=**/testdata/** --ignore-glob=**/test/data/**" fail-on: error path: . diff --git a/.hlint.yaml b/.hlint.yaml index bb2a4327efe..852b8060b04 100644 --- a/.hlint.yaml +++ b/.hlint.yaml @@ -5,10 +5,6 @@ # To run HLint do: # $ hlint --git -j4 -# Ignore all lints in testdata directories, as they are distracting. -- ignore: { "within": '**/testdata/**' } -- ignore: { "within": '**/test/data/**' } - # Warnings currently triggered by our code - ignore: {name: "Use <$>"} - ignore: {name: "Use :"}