selectively run publish job on push to main only

Signed-off-by: Ahmad Rezaii <[email protected]>
chapel-lang · Jan 29, 2025 · 3e44947 · 3e44947
1 parent 648df73
commit 3e44947
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -191,6 +191,7 @@ jobs:
           done
 
   publish-docs:
+    if: github.event_name == 'push'
     runs-on: ubuntu-latest
     needs: make_doc
     steps: