From 0061ed0f17a735781002ca859674e75ee0d89e60 Mon Sep 17 00:00:00 2001 From: Mateusz Galazyn Date: Fri, 10 Nov 2023 08:52:53 +0100 Subject: [PATCH] Fix haddocks references to libraries --- .github/bin/haddocks.sh | 1 + .github/workflows/github-page.yml | 3 ++- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/bin/haddocks.sh b/.github/bin/haddocks.sh index c704ce9bfa..1da9c77f2c 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 c3fee1155c..8c54fa6eaa 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 @@ -137,7 +138,7 @@ jobs: path: ./haddocks - name: Deploy documentation to gh-pages 🚀 - if: github.ref == 'refs/heads/main' + # if: github.ref == 'refs/heads/main' # FIXME uses: peaceiris/actions-gh-pages@v3 with: github_token: ${{ secrets.GITHUB_TOKEN || github.token }}