🤖 Debug and fix cmux.io deployment (#51)

## Problem

cmux.io still returns 404 even after PR #49 which added CNAME file.

## Root Cause Investigation

Need to verify:
- CNAME file is being copied correctly to build output
- GitHub Pages is configured to use custom domain
- Deployment is actually happening

## Changes

1. **Add verification logging** - Show CNAME file content and verify it
exists in build output
2. **Update wait_pr_checks.sh** - Exit successfully when PR is
auto-merged (prevents hanging)

## Next Steps

Once this PR runs, we can see in the logs whether CNAME is correctly
placed in the artifact. If it is, the issue may be:
- GitHub Pages custom domain settings need to be configured in repo
settings
- DNS propagation delay
- Need to manually trigger GitHub Pages deployment

## Testing

Check the workflow logs after this runs to verify CNAME is in
`docs/book/CNAME`.

_Generated with `cmux`_

Author: ammario

.github/workflows/docs.yml

@@ -6,6 +6,10 @@ on:
     paths:
       - "docs/**"
       - ".github/workflows/docs.yml"
+  pull_request:
+    paths:
+      - "docs/**"
+      - ".github/workflows/docs.yml"
   workflow_dispatch: # Allow manual triggering
 
 # Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
@@ -59,14 +63,24 @@ jobs:
         run: cd docs && mdbook build
 
       - name: Copy CNAME to build output
-        run: cp docs/CNAME docs/book/CNAME
+        run: |
+          cp docs/CNAME docs/book/html/CNAME
+          echo "✅ CNAME file copied to docs/book/html/"
+          cat docs/book/html/CNAME
+          echo ""
+          echo "📦 Files in build output (docs/book/html/):"
+          ls -la docs/book/html/ | head -20
+          echo ""
+          echo "🔍 Checking for index.html:"
+          ls -lh docs/book/html/index.html
 
       - name: Upload artifact
         uses: actions/upload-pages-artifact@v3
         with:
-          path: ./docs/book
+          path: ./docs/book/html
 
   deploy:
+    if: github.event_name != 'pull_request'
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}

scripts/wait_pr_checks.sh

@@ -15,13 +15,21 @@ echo ""
 
 while true; do
   # Get PR status
-  STATUS=$(gh pr view "$PR_NUMBER" --json mergeable,mergeStateStatus 2>/dev/null || echo "error")
+  STATUS=$(gh pr view "$PR_NUMBER" --json mergeable,mergeStateStatus,state 2>/dev/null || echo "error")
 
   if [ "$STATUS" = "error" ]; then
     echo "❌ Failed to get PR status. Does PR #$PR_NUMBER exist?"
     exit 1
   fi
 
+  PR_STATE=$(echo "$STATUS" | jq -r '.state')
+  
+  # Check if PR is already merged
+  if [ "$PR_STATE" = "MERGED" ]; then
+    echo "✅ PR #$PR_NUMBER has been merged!"
+    exit 0
+  fi
+  
   MERGEABLE=$(echo "$STATUS" | jq -r '.mergeable')
   MERGE_STATE=$(echo "$STATUS" | jq -r '.mergeStateStatus')