File tree Expand file tree Collapse file tree 2 files changed +23
-2
lines changed
Expand file tree Collapse file tree 2 files changed +23
-2
lines changed Original file line number Diff line number Diff line change 66 paths :
77 - " docs/**"
88 - " .github/workflows/docs.yml"
9+ pull_request :
10+ paths :
11+ - " docs/**"
12+ - " .github/workflows/docs.yml"
913 workflow_dispatch : # Allow manual triggering
1014
1115# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
5963 run : cd docs && mdbook build
6064
6165 - name : Copy CNAME to build output
62- run : cp docs/CNAME docs/book/CNAME
66+ run : |
67+ cp docs/CNAME docs/book/CNAME
68+ echo "✅ CNAME file copied to build output:"
69+ cat docs/book/CNAME
70+ echo ""
71+ echo "📦 Files in build output:"
72+ ls -la docs/book/ | head -20
73+ echo ""
74+ echo "🔍 Checking for index.html:"
75+ ls -lh docs/book/index.html || echo "❌ index.html not found!"
6376
6477 - name : Upload artifact
6578 uses : actions/upload-pages-artifact@v3
Original file line number Diff line number Diff line change @@ -15,13 +15,21 @@ echo ""
1515
1616while true ; do
1717 # Get PR status
18- STATUS=$( gh pr view " $PR_NUMBER " --json mergeable,mergeStateStatus 2> /dev/null || echo " error" )
18+ STATUS=$( gh pr view " $PR_NUMBER " --json mergeable,mergeStateStatus,state 2> /dev/null || echo " error" )
1919
2020 if [ " $STATUS " = " error" ]; then
2121 echo " ❌ Failed to get PR status. Does PR #$PR_NUMBER exist?"
2222 exit 1
2323 fi
2424
25+ PR_STATE=$( echo " $STATUS " | jq -r ' .state' )
26+
27+ # Check if PR is already merged
28+ if [ " $PR_STATE " = " MERGED" ]; then
29+ echo " ✅ PR #$PR_NUMBER has been merged!"
30+ exit 0
31+ fi
32+
2533 MERGEABLE=$( echo " $STATUS " | jq -r ' .mergeable' )
2634 MERGE_STATE=$( echo " $STATUS " | jq -r ' .mergeStateStatus' )
2735
You can’t perform that action at this time.
0 commit comments