From 47ce27922280a2acf15a99d4e4f375812bb2d04a Mon Sep 17 00:00:00 2001
From: Michael-J-Ward <ward.michael.j@gmail.com>
Date: Fri, 10 May 2024 16:37:02 -0500
Subject: [PATCH] ci: modify docs job to run on pull requests but only push on
 main

This should ensure that docs will still build on any merge but only push the generated HTML once it hits main.
---
 .github/workflows/docs.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 1193d781..85516485 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -4,6 +4,9 @@ on:
       - main
     tags-ignore:
       - "**-rc**"
+  pull_request:
+    branches:
+      - main
 
 name: Deploy DataFusion Python site
 
@@ -13,6 +16,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Set target branch
+        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
         id: target-branch
         run: |
           set -x
@@ -27,6 +31,7 @@ jobs:
       - name: Checkout docs sources
         uses: actions/checkout@v3
       - name: Checkout docs target branch
+        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
         uses: actions/checkout@v3
         with:
           fetch-depth: 0
@@ -64,6 +69,7 @@ jobs:
           make html
 
       - name: Copy & push the generated HTML
+        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
         run: |
           set -x
           cd docs-target