diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml index dcf748a..4051770 100644 --- a/.github/workflows/publish_docs.yml +++ b/.github/workflows/publish_docs.yml @@ -12,6 +12,9 @@ on: push: branches: - 'master' + pull_request: + branches: + - 'master' # Allows you to run this workflow manually from the Actions tab workflow_dispatch: @@ -32,6 +35,7 @@ jobs: uses: actions/checkout@v5 - name: "Setup Pages" + if: ${{ github.repository == 'atomvm/atomvm_rebar3_plugin' }} uses: actions/configure-pages@v5 - name: "Build Docs" @@ -46,6 +50,7 @@ jobs: path: ./docs deploy: + if: ${{ github.repository == 'atomvm/atomvm_rebar3_plugin' && github.event_name == 'push' }} # Add a dependency to the build job needs: build @@ -62,6 +67,5 @@ jobs: uses: actions/configure-pages@v5 - name: Deploy to GitHub Pages - if: ${{ github.repository == 'atomvm/atomvm_rebar3_plugin' }} id: deployment uses: actions/deploy-pages@v4