Move deploy step to separate job

Author: marcphilipp

.github/workflows/main.yml

@@ -105,12 +105,10 @@ jobs:
       with:
         subject-path: documentation/build/attestation/*.jar
 
-  documentation:
+  build_documentation:
     name: Build Documentation
     needs: macOS
     runs-on: ubuntu-latest
-    permissions:
-      actions: write
     steps:
     - name: Check out repository
       uses: actions/checkout@8e8c483db84b4bee98b60c0593521ed34d9990e8 # v6.0.1
@@ -138,3 +136,16 @@ jobs:
       env:
         GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
       run: gh workflow run deploy-docs.yml --ref docs-site
+
+  deploy_documentation:
+    name: Deploy Documentation
+    needs: build_documentation
+    if: github.event_name == 'push' && github.repository == 'junit-team/junit-framework' && github.ref == 'refs/heads/main'
+    runs-on: ubuntu-latest
+    permissions:
+      actions: write
+    steps:
+      - name: Trigger documentation site deployment
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: gh workflow run deploy-docs.yml --repo junit-team/junit-framework --ref docs-site