fix(gh-pages): deploy warning (#1857)

Signed-off-by: Angelo De Caro <adc@zurich.ibm.com>

Author: adecaro

.github/workflows/docs.yml

@@ -19,10 +19,16 @@ on:
       - '.github/workflows/docs.yml'
 
 permissions:
-  contents: write
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
 
 jobs:
-  deploy:
+  build:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout code
@@ -52,7 +58,24 @@ jobs:
         run: |
           mkdocs build --strict
 
-      - name: Deploy to GitHub Pages
+      - name: Setup Pages
         if: github.event_name == 'push' && github.ref == 'refs/heads/main'
-        run: |
-          mkdocs gh-deploy --force
+        uses: actions/configure-pages@v5
+
+      - name: Upload artifact
+        if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+        uses: actions/upload-pages-artifact@v3
+        with:
+          path: 'site'
+
+  deploy:
+    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    runs-on: ubuntu-latest
+    needs: build
+    steps:
+      - name: Deploy to GitHub Pages
+        id: deployment
+        uses: actions/deploy-pages@v4

requirements.txt

@@ -1,2 +1,2 @@
-mkdocs==1.6.0
-mkdocs-material==9.5.39
+mkdocs==1.6.1
+mkdocs-material==9.5.47