Do cabal check in CI.

diku-dk · Nov 11, 2024 · 716236e · 716236e
1 parent 0421f89
commit 716236e
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -52,6 +52,9 @@ jobs:
           dist-newstyle
         key: ${{ runner.os }}-cabal-${{ hashFiles('futhark.cabal', 'cabal.project') }}
 
+    - name: cabal check
+      run: cabal check
+
     - name: Build Futhark
       run: |
         cabal --version