diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 323a9f8c..c3012313 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -3,6 +3,8 @@ name: GitHub Pages on: push: branches: [main] + pull_request: + branches: [ '*' ] workflow_dispatch: concurrency: @@ -52,6 +54,9 @@ jobs: deploy: needs: build + # Deploy only on main builds, or for manual triggers. + if: github.event_name == 'push' || github.event_name == 'workflow_dispatch' + permissions: pages: write id-token: write