Clarify deploy-doc condition

signetlabdei · Nov 9, 2023 · d1779e5 · d1779e5
1 parent 1490d8f
commit d1779e5
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/per-commit.yml b/.github/workflows/per-commit.yml
@@ -65,6 +65,7 @@ jobs:
     uses: ./.github/workflows/analysis.yml
 
   deploy-doc:
-    if: github.event_name == 'push'
+    # do not run on PR events
+    if: ( ! github.event_name == 'pull_request' )
     needs: documentation
     uses: ./.github/workflows/deploy-doc.yml