diff --git a/.github/workflows/docs-ci.yaml b/.github/workflows/docs-ci.yaml index 89355ef..e9e699b 100644 --- a/.github/workflows/docs-ci.yaml +++ b/.github/workflows/docs-ci.yaml @@ -39,6 +39,8 @@ on: type: string default: html +permissions: + pull-requests: write env: # Used for `make` steps. # -n: warn on missing references @@ -68,9 +70,6 @@ jobs: - run: make ${{ inputs.make-target }} working-directory: ${{ inputs.docs-directory }} - - run: make linkcheck - working-directory: ${{ inputs.docs-directory }} - build-pip: if: inputs.pip-install-target != '' runs-on: ubuntu-latest @@ -86,5 +85,16 @@ jobs: - run: make ${{ inputs.make-target }} working-directory: ${{ inputs.docs-directory }} - - run: make linkcheck + linkcheck: + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + with: + repository: ${{ inputs.repo }} + + - run: pip install '${{ inputs.pip-install-target }}' + + - id: linkcheck + run: make linkcheck working-directory: ${{ inputs.docs-directory }} + continue-on-error: true