chore: trigger mirror-to-gh-pages action after release completed (#799)

* chore: trigger mirror-ro-gh-pages after release completed

* leftover

* fix: workflow run use case

Author: peppescg

.github/workflows/mirror-to-gh-pages.yml

@@ -1,8 +1,10 @@
 name: Mirror latest release to GitHub Pages with LFS
 
 on:
-  release:
-    types: [published]
+  workflow_run:
+    workflows: ['Release']
+    types: [completed]
+    branches: [main]
   workflow_dispatch:
     inputs:
       tag:
@@ -15,11 +17,18 @@ permissions:
 jobs:
   mirror:
     runs-on: ubuntu-latest
+    # Only run if the triggering workflow succeeded (when triggered by workflow_run)
+    if: ${{ github.event_name == 'workflow_dispatch' || github.event.workflow_run.conclusion == 'success' }}
     steps:
       - name: Get release info
         id: release
         run: |
-          TAG="${{ github.event.inputs.tag || github.event.release.tag_name }}"
+          if [[ "${{ github.event_name }}" == "workflow_dispatch" ]]; then
+            TAG="${{ github.event.inputs.tag }}"
+          else
+            # Get the latest release tag when triggered by workflow_run
+            TAG=$(gh api "repos/${{ github.repository }}/releases/latest" | jq -r '.tag_name')
+          fi
           echo "tag=$TAG" >> "$GITHUB_OUTPUT"
 
           # Get release metadata