fix(ci): publish docs deployment

Signed-off-by: Frederic Pillon <frederic.pillon@st.com>

Author: fpistm

.github/workflows/publish-docs.yml

@@ -28,10 +28,15 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: 0
+          persist-credentials: false
       - uses: actions/setup-python@v5
         with:
           python-version: "3.x"
       - run: python -m pip install -r requirements-docs.txt
+      - name: Configure Git author
+        run: |
+          git config user.name "github-actions[bot]"
+          git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
       - uses: actions/create-github-app-token@v1
         id: pages-token
         with:
@@ -50,7 +55,8 @@ jobs:
           if git ls-remote --exit-code --heads pages gh-pages >/dev/null; then
             mike deploy --remote pages --branch gh-pages --push dev
           else
-            mike deploy --remote pages --branch gh-pages --default dev --push dev
+            mike deploy --remote pages --branch gh-pages --push dev
+            mike set-default --remote pages --branch gh-pages --push dev
           fi
       - name: Publish release documentation
         if: startsWith(github.ref, 'refs/tags/')
@@ -61,7 +67,7 @@ jobs:
             echo "Unsupported documentation release tag: $VERSION" >&2
             exit 1
           fi
-          latest=$(git tag --list | grep -E '^[0-9]+\.[0-9]+\.[0-9]+$' | sort -V | tail -n 1)
+          latest=$(git tag --list | grep -E '^[0-9]{1,3}\.[0-9]+\.[0-9]+$' | sort -V | tail -n 1)
           if [[ "$VERSION" == "$latest" ]]; then
             mike deploy --remote pages --branch gh-pages --update-aliases --push "$VERSION" latest
             mike set-default --remote pages --branch gh-pages --push latest