This is an automated email from the ASF dual-hosted git repository.
agrove pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/datafusion-python.git
The following commit(s) were added to refs/heads/main by this push:
new 84c1195 Docs deploy action (#721)
84c1195 is described below
commit 84c1195d9c99e08ba57366eb07e89d1ec2654bd1
Author: Michael J Ward <[email protected]>
AuthorDate: Fri May 31 10:39:01 2024 -0500
Docs deploy action (#721)
* ci: add debug print for githuc docs actions
* ci: update docs job condition
---
.github/workflows/docs.yaml | 15 ++++++++++++---
1 file changed, 12 insertions(+), 3 deletions(-)
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml
index 8551648..db23462 100644
--- a/.github/workflows/docs.yaml
+++ b/.github/workflows/docs.yaml
@@ -11,12 +11,21 @@ on:
name: Deploy DataFusion Python site
jobs:
+ debug-github-context:
+ name: Print github context
+ runs-on: ubuntu-latest
+ steps:
+ - name: Dump GitHub context
+ env:
+ GITHUB_CONTEXT: ${{ toJson(github) }}
+ run: |
+ echo "$GITHUB_CONTEXT"
build-docs:
name: Build docs
runs-on: ubuntu-latest
steps:
- name: Set target branch
- if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+ if: github.event_name == 'push' && (github.ref == 'refs/heads/main' ||
github.ref_type == 'tag')
id: target-branch
run: |
set -x
@@ -31,7 +40,7 @@ jobs:
- name: Checkout docs sources
uses: actions/checkout@v3
- name: Checkout docs target branch
- if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+ if: github.event_name == 'push' && (github.ref == 'refs/heads/main' ||
github.ref_type == 'tag')
uses: actions/checkout@v3
with:
fetch-depth: 0
@@ -69,7 +78,7 @@ jobs:
make html
- name: Copy & push the generated HTML
- if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+ if: github.event_name == 'push' && (github.ref == 'refs/heads/main' ||
github.ref_type == 'tag')
run: |
set -x
cd docs-target
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected]
For additional commands, e-mail: [email protected]
