...

.github/workflows/cabal.yml

@@ -32,10 +32,12 @@ jobs:
     - name: Install Dhall
       run: cabal install dhall --with-compiler=ghc-${{ matrix.vers.ghc }} --ignore-project
 
-    - name: Configure the build
+    - name: Updo
       run: |
-        cabal configure --enable-tests --enable-benchmarks --disable-documentation --with-compiler=ghc-${{ matrix.vers.ghc }}
-        cabal build all --dry-run --with-compiler=ghc-${{ matrix.vers.ghc }}
+        GHC_VERSION=${{ matrix.vers.ghc }} STACKAGE_VERSION=${{ matrix.vers.stackage }} make -f project-files.mk
+
+    - name: Build dry run
+      run: cabal build all --enable-tests --enable-benchmarks --dry-run
 
     - name: Restore cached dependencies
       uses: actions/cache/restore@v4
@@ -59,9 +61,7 @@ jobs:
         key: ${{ steps.cache.outputs.cache-primary-key }}
 
     - name: build
-      run: |
-        GHC_VERSION=${{ matrix.vers.ghc }} STACKAGE_VERSION=${{ matrix.vers.stackage }} make -f project-files.mk
-        cabal build all --enable-tests
+      run: cabal build all --enable-tests --enable-benchmarks
 
     - name: test golden
       run: cabal test test:golden --test-show-details=direct --test-option="--color=always"

cabal.project.local

@@ -0,0 +1,8 @@
+ignore-project: False
+with-compiler: ghc-9.8.2
+tests: True
+benchmarks: True
+documentation: False
+
+package *
+  documentation: False