github pages

noinia · Nov 17, 2023 · 4164496 · 4164496
1 parent 824db8c
commit 4164496
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
@@ -171,7 +171,7 @@ jobs:
       - name: haddock
         run: |
           $CABAL v2-haddock --disable-documentation --haddock-all $ARG_COMPILER --with-haddock $HADDOCK $ARG_TESTS $ARG_BENCH all > haddock.raw.txt
-          $CABAL $ARG_COMPILER --with-haddock $HADDOCK $ARG_TESTS $ARG_BENCH haddock-project
+          $CABAL $ARG_COMPILER haddock-project
       - name: haddock-badge
         run: |
           grep ") in " haddock.raw.txt | sort -hr > haddock.txt