Fixes the docs generation for tagged releases

Signed-off-by: Tao He <linzhu.ht@alibaba-inc.com>
alibaba · Jun 13, 2023 · 96e52f6 · 96e52f6
1 parent e9af91a
commit 96e52f6
Showing 1 changed file with 5 additions and 3 deletions.
diff --git 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 <github-actions@github.com>" -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