CI: Configure with --enable-tests

Fixes #212.
GaloisInc · May 21, 2024 · e48d1a3 · e48d1a3
1 parent e4b3751
commit e48d1a3
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -55,6 +55,9 @@ jobs:
     - name: Typecheck python code
       working-directory: ./python
       run: poetry run mypy --install-types --non-interactive argo_client
+    - name: Configure
+      run: |
+        cabal configure --enable-tests
     - name: Build
       run: |
         cabal build all