Do not deploy pages on PR

jorgensd · Jul 4, 2024 · 1fa9194 · 1fa9194
1 parent 3118d05
commit 1fa9194
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/deploy_pages.yml b/.github/workflows/deploy_pages.yml
@@ -34,6 +34,7 @@ jobs:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}
 
+    if: github.event_name == 'push'
     runs-on: ubuntu-latest
     steps:
       - name: Download docs artifact