Merge pull request #58 from UncleGrumpy/publish_docs

Keep pre-release docs on github pages up to date with master branch

Author: UncleGrumpy

.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