Improved doc workflow

.github/workflows/docs.yml

@@ -4,16 +4,21 @@ on:
   push:
     tags: ['*testdocs*']
 
-permissions: read-all
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
 
 jobs:
   deploy:
     runs-on: ubuntu-latest
     environment:
         name: github-pages
-
-    permissions:
-        id-token: write
+        url: ${{ steps.deployment.outputs.page_url }}
     steps:
       - name: Check out repo
         uses: actions/checkout@v4