From 68e1fa13c84cde56c1d339d834f669ac1358c47c Mon Sep 17 00:00:00 2001 From: Winford Date: Wed, 20 Aug 2025 03:05:28 +0000 Subject: [PATCH] Fix publish-docs workflow Updates publish_docs.yml to run on pull requests and pushes. In personal forks configure-pages action and the deploy job are skipped so the workflow can succeed. The publish job is only run on pushes to the atomvm/atomvm_rebar3_plugin master branch. Signed-off-by: Winford --- .github/workflows/publish_docs.yml | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) 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