Skip to content

Commit 84c1195

Browse files
Docs deploy action (#721)
* ci: add debug print for githuc docs actions * ci: update docs job condition
1 parent ef88921 commit 84c1195

File tree

1 file changed

+12
-3
lines changed

1 file changed

+12
-3
lines changed

.github/workflows/docs.yaml

Lines changed: 12 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,12 +11,21 @@ on:
1111
name: Deploy DataFusion Python site
1212

1313
jobs:
14+
debug-github-context:
15+
name: Print github context
16+
runs-on: ubuntu-latest
17+
steps:
18+
- name: Dump GitHub context
19+
env:
20+
GITHUB_CONTEXT: ${{ toJson(github) }}
21+
run: |
22+
echo "$GITHUB_CONTEXT"
1423
build-docs:
1524
name: Build docs
1625
runs-on: ubuntu-latest
1726
steps:
1827
- name: Set target branch
19-
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
28+
if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref_type == 'tag')
2029
id: target-branch
2130
run: |
2231
set -x
@@ -31,7 +40,7 @@ jobs:
3140
- name: Checkout docs sources
3241
uses: actions/checkout@v3
3342
- name: Checkout docs target branch
34-
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
43+
if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref_type == 'tag')
3544
uses: actions/checkout@v3
3645
with:
3746
fetch-depth: 0
@@ -69,7 +78,7 @@ jobs:
6978
make html
7079
7180
- name: Copy & push the generated HTML
72-
if: github.event_name == 'push' && github.ref == 'refs/heads/main'
81+
if: github.event_name == 'push' && (github.ref == 'refs/heads/main' || github.ref_type == 'tag')
7382
run: |
7483
set -x
7584
cd docs-target

0 commit comments

Comments
 (0)