diff --git a/.github/bin/haddocks.sh b/.github/bin/haddocks.sh index 77202dd5db..7d31eea3e1 100755 --- a/.github/bin/haddocks.sh +++ b/.github/bin/haddocks.sh @@ -46,6 +46,7 @@ HADDOCK_OPTS=( --haddock-hyperlink-source --haddock-option "--show-all" --haddock-option "--use-unicode" + --haddock-option="--base-url=.." --disable-tests $DRY_RUN_ARGS ) diff --git a/.github/workflows/github-page.yml b/.github/workflows/github-page.yml index 2c8f0bd3ef..6ac93d74d9 100644 --- a/.github/workflows/github-page.yml +++ b/.github/workflows/github-page.yml @@ -1,6 +1,7 @@ name: "Haddock documentation" on: + pull_request: # REMOVEME push: branches: - main