From 4164496d272c5cf8b85fa17f826b2b46c9de3a98 Mon Sep 17 00:00:00 2001 From: Frank Staals Date: Fri, 17 Nov 2023 23:13:21 +0100 Subject: [PATCH] github pages --- .github/workflows/gh-pages.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml index 20a5b4588..ddf807a98 100644 --- 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