From 96e52f62a597587f4f8401e48aba0b3066a64e27 Mon Sep 17 00:00:00 2001 From: Tao He Date: Tue, 13 Jun 2023 15:13:54 +0800 Subject: [PATCH] Fixes the docs generation for tagged releases Signed-off-by: Tao He --- .github/workflows/docs.yml | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml index 2350eed92273..6b6b74715582 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/docs.yml @@ -7,6 +7,8 @@ on: - main - docs - dev/docs + tags: + - "v*" pull_request_target: branches: - main @@ -224,8 +226,8 @@ jobs: shopt -s extglob rm google-java-format-1.13.0-all-deps.jar* || true - git config user.email github-actions@github.com - git config user.name github-actions + git config user.name "github-actions[bot]" + git config user.email "41898282+github-actions[bot]@users.noreply.github.com" tag=$(git describe --exact-match --tags HEAD 2>/dev/null || true) @@ -258,6 +260,6 @@ jobs: rm -rf ../analytical_engine/java || true git add -A - git commit --amend --no-edit -m "Generate latest docs on CI, from commit ${{ github.sha }}." --author "github-actions " -s --date="$(date -R)" + git commit --amend --no-edit -m "Generate latest docs on CI, from commit ${{ github.sha }}." --author "github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>" -s --date="$(date -R)" git push -f origin gh-pages