Merge branch 'master' into jhrcek/unused-packages-stan

Author: jhrcek

.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: .
 

.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 :"}