git: update agda docs workflows

Author: will-break-it

.github/workflows/docs.yaml

@@ -246,7 +246,7 @@ jobs:
             echo "Available memory before processing:"
             free -h
 
-            NODE_OPTIONS="--max-old-space-size=16384" npx agda-web-docs-lib process ./static/formal-spec ./agda-docs.config.json
+            NODE_OPTIONS="--max-old-space-size=6144" npx agda-web-docs-lib process ./static/formal-spec ./agda-docs.config.json
           else
             echo "No HTML files found in formal-spec directory, skipping enhancement"
           fi
@@ -350,7 +350,7 @@ jobs:
             echo "Available memory before processing:"
             free -h
 
-            NODE_OPTIONS="--max-old-space-size=16384" npx agda-web-docs-lib process ./static/formal-spec ./agda-docs.config.json
+            NODE_OPTIONS="--max-old-space-size=6144" npx agda-web-docs-lib process ./static/formal-spec ./agda-docs.config.json
           else
             echo "No HTML files found in formal-spec directory, skipping enhancement"
           fi

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

@@ -15,66 +15,66 @@ jobs:
       - name: 📥 Checkout repository
         uses: actions/checkout@v4
 
-      # First try to download previous artifacts to have as fallback
-      - name: 📥 Download previous formal spec HTML for fallback
-        id: download_previous
-        uses: actions/download-artifact@v4
-        continue-on-error: true
-        with:
-          name: formal-spec-html
-          path: previous-formal-spec-html
-
-      - name: Check previous artifacts
-        id: check_previous
-        run: |
-          if [ -d "previous-formal-spec-html" ] && [ -n "$(ls -A previous-formal-spec-html 2>/dev/null)" ]; then
-            echo "Previous formal spec HTML found, will use as fallback"
-            echo "has_previous=true" >> $GITHUB_OUTPUT
-          else
-            echo "No previous formal spec HTML found"
-            echo "has_previous=false" >> $GITHUB_OUTPUT
-          fi
-
       # Try to download directly from GitHub API to see artifacts in the formal-spec repo
       - name: List available artifacts in formal-spec repo
+        id: list_artifacts
         run: |
-          curl -s -H "Authorization: token ${{ secrets.LEIOS_TRIGGER_PAT }}" \
-          "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
+          ARTIFACTS=$(curl -s -H "Authorization: token ${{ secrets.LEIOS_TRIGGER_PAT }}" \
+            "https://api.github.com/repos/input-output-hk/ouroboros-leios-formal-spec/actions/artifacts")
+
+          echo "Available artifacts:"
+          echo "$ARTIFACTS" | jq '.artifacts[] | {name: .name, id: .id, created_at: .created_at, expired: .expired, workflow_run: .workflow_run.id}' || true
+
+          # Find the most recent formal-spec-html artifact ID
+          ARTIFACT_ID=$(echo "$ARTIFACTS" | jq -r '.artifacts[] | select(.name=="formal-spec-html" and .expired==false) | .id' | head -n 1)
 
-      - name: 📥 Download formal spec HTML
-        id: download_new
+          if [ -n "$ARTIFACT_ID" ]; then
+            echo "Found formal-spec-html artifact with ID: $ARTIFACT_ID"
+            echo "artifact_id=$ARTIFACT_ID" >> $GITHUB_OUTPUT
+          else
+            echo "No valid formal-spec-html artifact found"
+          fi
+
+      - name: 📥 Download formal spec HTML by run ID
+        id: download_by_run
+        if: github.event.client_payload.run_id != ''
         uses: actions/download-artifact@v4
         continue-on-error: true
         with:
           name: formal-spec-html
           repository: input-output-hk/ouroboros-leios-formal-spec
           run-id: ${{ github.event.client_payload.run_id }}
-          path: new-formal-spec-html
+          path: formal-spec-html
           github-token: ${{ secrets.LEIOS_TRIGGER_PAT }}
 
-      - name: Prepare final formal spec HTML
+      - name: 📥 Download formal spec HTML by artifact ID (fallback)
+        id: download_by_id
+        if: steps.download_by_run.outcome != 'success' && steps.list_artifacts.outputs.artifact_id != ''
+        uses: dawidd6/action-download-artifact@v6
+        continue-on-error: true
+        with:
+          name: formal-spec-html
+          repo: input-output-hk/ouroboros-leios-formal-spec
+          workflow: formal-spec.yaml
+          path: formal-spec-html
+          github_token: ${{ secrets.LEIOS_TRIGGER_PAT }}
+          search_artifacts: true
+          if_no_artifact_found: warn
+
+      - name: Check download and create placeholder if needed
         run: |
           mkdir -p formal-spec-html
 
-          # Check if we successfully downloaded new files
-          if [ -d "new-formal-spec-html" ] && [ -n "$(ls -A new-formal-spec-html 2>/dev/null)" ]; then
-            echo "Using newly downloaded formal spec HTML"
-            cp -r new-formal-spec-html/* formal-spec-html/
-          # Otherwise use previous version if available
-          elif [ "${{ steps.check_previous.outputs.has_previous }}" == "true" ]; then
-            echo "Download failed, using previous formal spec HTML as fallback"
-            cp -r previous-formal-spec-html/* formal-spec-html/
-          # Create placeholder as last resort
+          # Check if we successfully downloaded files
+          if [ -n "$(ls -A formal-spec-html 2>/dev/null)" ]; then
+            echo "Using downloaded formal spec HTML"
+            echo "Files in formal-spec-html directory:"
+            ls -la formal-spec-html/
           else
             echo "No formal spec HTML available, creating placeholder"
             echo "<html><body><h1>Formal Specification</h1><p>Formal specification documentation is being updated. Please check back later.</p></body></html>" > formal-spec-html/index.html
           fi
 
-          # Show what we're using
-          echo "Final formal spec HTML contents:"
-          ls -la formal-spec-html/
-
       - name: 🚢 Upload formal spec files
         uses: actions/upload-artifact@v4
         with: