ci: auto-export frontend on push

Author: mnm-matin

.github/workflows/require_frontend_export.yml

@@ -16,14 +16,18 @@ on:
 jobs:
   require-frontend-export:
     runs-on: ubuntu-latest
+    if: github.actor != 'github-actions[bot]'
+    permissions:
+      contents: write
 
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
         with:
           fetch-depth: 0
 
-      - name: Verify static export updated when frontend changes
+      - name: Detect frontend and static changes
+        id: changes
         run: |
           set -euo pipefail
 
@@ -58,6 +62,53 @@ jobs:
             static_changed="true"
           fi
 
+          needs_export="false"
+          if [[ "$frontend_changed" == "true" && "$static_changed" != "true" ]]; then
+            needs_export="true"
+          fi
+
+          {
+            echo "frontend_changed=$frontend_changed"
+            echo "static_changed=$static_changed"
+            echo "needs_export=$needs_export"
+          } >> "$GITHUB_OUTPUT"
+
+      - name: Set up Node
+        if: ${{ github.event_name == 'push' && steps.changes.outputs.needs_export == 'true' }}
+        uses: actions/setup-node@v4
+        with:
+          node-version: 20
+
+      - name: Export frontend
+        if: ${{ github.event_name == 'push' && steps.changes.outputs.needs_export == 'true' }}
+        run: |
+          bash scripts/export_frontend.sh
+
+      - name: Commit exported static assets
+        if: ${{ github.event_name == 'push' && steps.changes.outputs.needs_export == 'true' }}
+        run: |
+          set -euo pipefail
+
+          if [[ -z "$(git status --porcelain)" ]]; then
+            echo "No export changes to commit."
+            exit 0
+          fi
+
+          git status --short
+          git config user.name "github-actions[bot]"
+          git config user.email "github-actions[bot]@users.noreply.github.com"
+          git add src/hyperview/server/static
+          git commit -m "chore: export frontend static assets"
+          git push
+
+      - name: Verify static export updated when frontend changes
+        if: ${{ !(github.event_name == 'push' && steps.changes.outputs.needs_export == 'true') }}
+        run: |
+          set -euo pipefail
+
+          frontend_changed="${{ steps.changes.outputs.frontend_changed }}"
+          static_changed="${{ steps.changes.outputs.static_changed }}"
+
           if [[ "$frontend_changed" == "true" && "$static_changed" != "true" ]]; then
             echo ""
             echo "ERROR: frontend/ changed but src/hyperview/server/static/ was not updated."