From 895c87ebcb6d743d121b9311a078376e9a5b421c Mon Sep 17 00:00:00 2001 From: Frank Staals Date: Fri, 17 Nov 2023 23:23:41 +0100 Subject: [PATCH] one more attempt --- .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 ddf807a98..498ad34c3 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 haddock-project + $CABAL --with-compiler=$HC haddock-project - name: haddock-badge run: | grep ") in " haddock.raw.txt | sort -hr > haddock.txt