$default-branch is only available in templates not in actual workflow…

… instances. Only deploy if not a PR.
tu-darmstadt-ros-pkg · Aug 12, 2024 · d5457f9 · d5457f9
1 parent e6ae06b
commit d5457f9
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
@@ -1,9 +1,9 @@
 name: Documentation
 on:
   push:
-    branches: [ $default-branch ]
+    branches: [ jazzy ]
   pull_request:
-    branches: [ $default-branch ]
+    branches: [ jazzy ]
 
 jobs:
   build:
@@ -44,5 +44,6 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Deploy to GitHub Pages
+        if: github.event_name != 'pull_request'
         id: deployment
         uses: actions/deploy-pages@v4