ci: Update hlint version

GaloisInc · Apr 3, 2024 · 4cd0e27 · 4cd0e27
1 parent e43dc4f
commit 4cd0e27
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
@@ -17,8 +17,8 @@ jobs:
       - shell: bash
         run: |
           curl --location -o hlint.tar.gz \
-            https://github.com/ndmitchell/hlint/releases/download/v3.3/hlint-3.3-x86_64-linux.tar.gz
+            https://github.com/ndmitchell/hlint/releases/download/v3.8/hlint-3.8-x86_64-linux.tar.gz
           tar xvf hlint.tar.gz
 
           cd what4/
-          ../hlint-3.3/hlint src test
+          ../hlint-3.8/hlint src test