git: update workflow for docs publishing from formal-spec

Author: will-break-it

.github/workflows/docs.yaml

@@ -164,8 +164,8 @@ jobs:
       - name: Check for site or visualizer changes
         id: check_changes
         run: |
-          if [ "${{ github.event_name }}" == "workflow_run" ]; then
-            echo "Changes detected from formal-spec workflow"
+          if [ "${{ github.event_name }}" == "workflow_run" ] || [ "${{ github.event_name }}" == "workflow_dispatch" ]; then
+            echo "Changes detected from formal-spec workflow or manual trigger"
             echo "has_changes=true" >> $GITHUB_OUTPUT
           else
             # For PR or push events, check for actual changes

.github/workflows/formal-spec-listener.yaml

@@ -18,13 +18,12 @@ jobs:
       # First try to download previous artifacts to have as fallback
       - name: 📥 Download previous formal spec HTML for fallback
         id: download_previous
-        uses: dawidd6/action-download-artifact@v6
+        uses: actions/download-artifact@v4
         continue-on-error: true
         with:
           name: formal-spec-html
           path: previous-formal-spec-html
-          if_no_artifact_found: ignore
-          allow_forks: false
+          if-no-files-found: ignore
 
       - name: Check previous artifacts
         id: check_previous
@@ -40,20 +39,19 @@ jobs:
       # Try to download directly from GitHub API to see artifacts in the formal-spec repo
       - name: List available artifacts in formal-spec repo
         run: |
-          curl -s -H "Authorization: token ${{ secrets.FORMAL_SPEC_PAT || github.token }}" \
+          curl -s -H "Authorization: token ${{ secrets.GITHUB_TOKEN || github.token }}" \
           "https://api.github.com/repos/input-output-hk/ouroboros-leios-formal-spec/actions/artifacts" | \
           jq '.artifacts[] | {name: .name, id: .id, created_at: .created_at, expired: .expired}' || true
 
       - name: 📥 Download formal spec HTML
         id: download_new
-        uses: dawidd6/action-download-artifact@v6
+        uses: actions/download-artifact@v4
         continue-on-error: true
         with:
           name: formal-spec-html
-          repo: input-output-hk/ouroboros-leios-formal-spec
+          repository: input-output-hk/ouroboros-leios-formal-spec
           path: new-formal-spec-html
-          token: ${{ secrets.FORMAL_SPEC_PAT || github.token }}
-          allow_forks: false
+          github-token: ${{ secrets.GITHUB_TOKEN || github.token }}
 
       - name: Prepare final formal spec HTML
         run: |