[CI] Choose stable/latest tag correctly by fixing the missing $ in ba…

…sh script (#2293)


Signed-off-by: Tao He <linzhu.ht@alibaba-inc.com>

.github/workflows/docs.yml

@@ -120,7 +120,7 @@ jobs:
 
         # generate a stable version
         tag=$(git describe --exact-match --tags HEAD 2>/dev/null || true)
-        if [ ! -z "tag" ];
+        if [ ! -z "$tag" ];
         then
           export TAG_VER=stable
           make graphscope-docs
@@ -140,12 +140,16 @@ jobs:
       if: steps.changes.outputs.src == 'true'
       run: echo "url => ${{ steps.preview_step.outputs.preview_url }}"
 
+    - name: Setup tmate session
+      uses: mxschmitt/action-tmate@v3
+      if: false
+
     - name: Upload Docs
       if: ${{ github.ref == 'refs/heads/main' || startsWith(github.ref, 'refs/tags/v') }}
       shell: bash
       run: |
         shopt -s extglob
-        rm google-java-format-1.13.0-all-deps.jar || true
+        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
@@ -182,3 +186,4 @@ jobs:
         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 push -f origin gh-pages
+