fix(ci): publish docs deployment

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

Author: fpistm

.github/workflows/publish-docs.yml

@@ -50,7 +50,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/')