8000 Update GitHub Pages Builder · espressif/arduino-esp32@33d9f4a · GitHub
[go: up one dir, main page]
Skip to content

Commit 33d9f4a

Browse files
me-no-devme-no-dev
committed
Update GitHub Pages Builder
Add some debug and allow building from a branch named `pages`
1 parent 63c51d5 commit 33d9f4a

File tree

2 files changed

+9
-0
lines changed

2 files changed

+9
-0
lines changed

‎.github/scripts/on-pages.sh

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -87,9 +87,15 @@ function git_safe_upload_to_pages(){
8787

8888
EVENT_JSON=`cat $GITHUB_EVENT_PATH`
8989

90+
echo "GITHUB_EVENT_PATH: $GITHUB_EVENT_PATH"
91+
echo "EVENT_JSON: $EVENT_JSON"
92+
9093
pages_added=`echo "$EVENT_JSON" | jq -r '.commits[].added[]'`
94+
echo "added: $pages_added"
9195
pages_modified=`echo "$EVENT_JSON" | jq -r '.commits[].modified[]'`
96+
echo "modified: $ 8000 pages_modified"
9297
pages_removed=`echo "$EVENT_JSON" | jq -r '.commits[].removed[]'`
98+
echo "removed: $pages_removed"
9399

94100
for page in $pages_added; do
95101
if [[ $page != "README.md" && $page != "docs/"* ]]; then

‎.github/workflows/gh-pages.yml

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -4,9 +4,12 @@ on:
44
push:
55
branches:
66
- master
7+
- pages
78
paths:
89
- 'README.md'
910
- 'docs/**'
11+
- '.github/scripts/on-pages.sh'
12+
- '.github/workflows/gh-pages.yml'
1013

1114
jobs:
1215

0 commit comments

Comments
 (0)
0