disable docs publication for pull requests

AmadeusITGroup · Apr 10, 2024 · 62eeccf · 62eeccf
1 parent e820302
commit 62eeccf
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -58,6 +58,7 @@ jobs:
 
   # Deployment job
   deploy:
+    if: ${{ github.event_name != 'pull_request' }}
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}