This is an automated email from the ASF dual-hosted git repository.
skrawcz pushed a commit to branch main
in repository https://gitbox.apache.org/repos/asf/hamilton.git
The following commit(s) were added to refs/heads/main by this push:
new 06ffd37e Fix `build-docs` CI failure for non-maintainer PRs
06ffd37e is described below
commit 06ffd37e163a9193ce9f1b1fa11a513f29e436de
Author: Dev-iL <[email protected]>
AuthorDate: Fri Mar 6 16:35:48 2026 +0200
Fix `build-docs` CI failure for non-maintainer PRs
---
.github/workflows/sphinx-docs.yml | 7 +++++--
1 file changed, 5 insertions(+), 2 deletions(-)
diff --git a/.github/workflows/sphinx-docs.yml
b/.github/workflows/sphinx-docs.yml
index f4376d5b..cfc99d76 100644
--- a/.github/workflows/sphinx-docs.yml
+++ b/.github/workflows/sphinx-docs.yml
@@ -14,7 +14,7 @@ on:
workflow_dispatch:
concurrency:
- group: "doc-pages"
+ group: "doc-pages-${{ github.ref }}"
cancel-in-progress: true
jobs:
@@ -76,7 +76,10 @@ jobs:
retention-days: 5
- name: Deploy documentation
+ if: github.event_name != 'pull_request'
working-directory: ./docs
+ env:
+ GITHUB_TOKEN: ${{ github.token }}
run: |
# Set target branch based on current branch
if [ "${{ github.ref }}" = "refs/heads/main" ]; then
@@ -145,7 +148,7 @@ jobs:
# Check if there are changes to commit (including untracked files)
if [ -n "$(git status --porcelain)" ]; then
git commit -m "Deploy documentation from ${{ github.sha }}"
- git push https://x-access-token:${{ github.token }}@github.com/${{
github.repository }}.git $TARGET_BRANCH
+ git push https://x-access-token:${GITHUB_TOKEN}@github.com/${{
github.repository }}.git $TARGET_BRANCH
echo "Changes pushed to $TARGET_BRANCH branch"
else
echo "No changes to deploy"
