git: split workflows

will-break-it · will-break-it · commit 9d49005d5d5e · 2025-05-28T09:27:06.000+02:00
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
@@ -14,20 +14,6 @@ on:
       - "site/**"
       - "ui/**"
 
-  workflow_run:
-    workflows: ["Formal Spec Listener"]
-    types:
-      - completed
-    branches:
-      - main
-
-  workflow_dispatch: # Allow manual triggering or via API
-    inputs:
-      source:
-        description: "Source of the workflow dispatch"
-        required: false
-        default: "manual"
-
 permissions:
   contents: write
   pages: write
@@ -195,80 +181,11 @@ jobs:
           path: |
             site/build/*
 
-  build-docusaurus-site-formal-spec:
-    name: "Build Docusaurus Site (Formal Spec)"
-    if: github.event_name == 'workflow_run'
-    runs-on: ubuntu-latest
-    steps:
-      - name: 📥 Checkout repository
-        uses: actions/checkout@v4
-        with:
-          fetch-depth: 2
-
-      - name: 🛠️ Setup Node.js
-        uses: actions/setup-node@v4
-        with:
-          node-version: 22
-          cache: "yarn"
-          cache-dependency-path: ./site/yarn.lock
-
-      - name: 📦 Install dependencies
-        working-directory: site
-        run: yarn install
-
-      # Only for workflow_run: Download formal spec HTML
-      - name: 📥 Download formal spec HTML
-        uses: actions/download-artifact@v4
-        continue-on-error: true
-        with:
-          name: formal-spec-html
-          path: formal-spec-html
-
-      # Only for workflow_run: Update formal spec
-      - name: 📝 Update formal spec
-        run: |
-          mkdir -p site/static/formal-spec
-          if [ -d "formal-spec-html" ] && [ -n "$(ls -A formal-spec-html/ 2>/dev/null)" ]; then
-            cp -r formal-spec-html/* site/static/formal-spec/
-          fi
-
-      # Only for workflow_run: Enhance Agda documentation
-      - name: 🔄 Enhance Agda documentation
-        working-directory: site
-        timeout-minutes: 25
-        run: |
-          HTML_COUNT=$(find ./static/formal-spec -name '*.html' | wc -l)
-          if [ "$HTML_COUNT" -gt "0" ]; then
-            NODE_OPTIONS="--max-old-space-size=6144" npx agda-web-docs-lib process ./static/formal-spec ./agda-docs.config.json
-          fi
-
-      - name: 🏗️ Build Docusaurus site
-        working-directory: site
-        run: |
-          yarn build
-
-      - name: Verify Docusaurus build
-        working-directory: site
-        run: |
-          if [ -z "$(ls -A build/)" ]; then
-            echo "Error: Docusaurus build directory is empty"
-            exit 1
-          fi
-          ls -la build/
-
-      - name: 🚀 Upload Docusaurus build
-        uses: actions/upload-artifact@v4
-        with:
-          name: docusaurus-build
-          if-no-files-found: error
-          path: |
-            site/build/*
-
   docs-publish:
-    name: "Publish"
+    name: "Publish Docs"
+    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    needs: [build-docusaurus-site]
     runs-on: ubuntu-latest
-    needs: [build-docusaurus-site, build-docusaurus-site-formal-spec]
-    if: always() && (github.ref == 'refs/heads/main' || github.event_name == 'workflow_run')
     steps:
       - name: 📥 Download Docusaurus build
         uses: actions/download-artifact@v4
@@ -277,7 +194,6 @@ jobs:
           path: ./github-pages
 
       - name: 🚀 Publish GitHub Pages
-        if: success()
         uses: peaceiris/actions-gh-pages@v4
         with:
           github_token: ${{ secrets.GITHUB_TOKEN || github.token }}
diff --git a/.github/workflows/formal-spec-listener.yaml b/.github/workflows/formal-spec-listener.yaml
@@ -78,18 +78,56 @@ jobs:
             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
 
-      - name: 🚢 Upload formal spec files
-        uses: actions/upload-artifact@v4
+      # Prepare Docusaurus site with formal spec
+      - name: 📥 Checkout repository (again for site)
+        uses: actions/checkout@v4
         with:
-          name: formal-spec-html
-          path: formal-spec-html
-          retention-days: 1
-          compression-level: 9
-          if-no-files-found: error
+          fetch-depth: 2
+
+      - name: 🛠️ Setup Node.js
+        uses: actions/setup-node@v4
+        with:
+          node-version: 22
+          cache: "yarn"
+          cache-dependency-path: ./site/yarn.lock
+
+      - name: 📦 Install dependencies
+        working-directory: site
+        run: yarn install
+
+      - name: 📝 Update formal spec
+        run: |
+          mkdir -p site/static/formal-spec
+          if [ -d "formal-spec-html" ] && [ -n "$(ls -A formal-spec-html/ 2>/dev/null)" ]; then
+            cp -r formal-spec-html/* site/static/formal-spec/
+          fi
 
-      - name: Verify artifact upload
+      - name: 🔄 Enhance Agda documentation
+        working-directory: site
+        timeout-minutes: 25
         run: |
-          echo "Verifying artifact upload..."
-          curl -s -H "Authorization: token ${{ secrets.LEIOS_TRIGGER_PAT }}" \
-          "https://api.github.com/repos/${{ github.repository }}/actions/runs/${{ github.run_id }}/artifacts" | \
-          jq '.artifacts[] | {name: .name, id: .id, created_at: .created_at, expired: .expired}'
+          HTML_COUNT=$(find ./static/formal-spec -name '*.html' | wc -l)
+          if [ "$HTML_COUNT" -gt "0" ]; then
+            NODE_OPTIONS="--max-old-space-size=6144" npx agda-web-docs-lib process ./static/formal-spec ./agda-docs.config.json
+          fi
+
+      - name: 🏗️ Build Docusaurus site
+        working-directory: site
+        run: |
+          yarn build
+
+      - name: Verify Docusaurus build
+        working-directory: site
+        run: |
+          if [ -z "$(ls -A build/)" ]; then
+            echo "Error: Docusaurus build directory is empty"
+            exit 1
+          fi
+          ls -la build/
+
+      - name: 🚀 Publish GitHub Pages
+        uses: peaceiris/actions-gh-pages@v4
+        with:
+          github_token: ${{ secrets.GITHUB_TOKEN || github.token }}
+          publish_dir: site/build
+          cname: leios.cardano-scaling.org
