File tree 2 files changed +9
-0
lines changed
2 files changed +9
-0
lines changed Original file line number Diff line number Diff line change @@ -87,9 +87,15 @@ function git_safe_upload_to_pages(){
87
87
88
88
EVENT_JSON=` cat $GITHUB_EVENT_PATH `
89
89
90
+ echo " GITHUB_EVENT_PATH: $GITHUB_EVENT_PATH "
91
+ echo " EVENT_JSON: $EVENT_JSON "
92
+
90
93
pages_added=` echo " $EVENT_JSON " | jq -r ' .commits[].added[]' `
94
+ echo " added: $pages_added "
91
95
pages_modified=` echo " $EVENT_JSON " | jq -r ' .commits[].modified[]' `
96
+ echo " modified: $pages_modified "
92
97
pages_removed=` echo " $EVENT_JSON " | jq -r ' .commits[].removed[]' `
98
+ echo " removed: $pages_removed "
93
99
94
100
for page in $pages_added ; do
95
101
if [[ $page != " README.md" && $page != " docs/" * ]]; then
Original file line number Diff line number Diff line change 4
4
push :
5
5
branches :
6
6
- master
7
+ - pages
7
8
paths :
8
9
- ' README.md'
9
10
- ' docs/**'
11
+ - ' .github/scripts/on-pages.sh'
12
+ - ' .github/workflows/gh-pages.yml'
10
13
11
14
jobs :
12
15
You can’t perform that action at this time.
0 commit comments