GH Actions

.github/workflows/lint_and_docs.yaml

@@ -8,6 +8,9 @@ jobs:
     permissions:
       id-token: write
       pages: write
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
     steps:
       - name: Cancel previous run
         uses: styfle/[email protected]
@@ -49,4 +52,4 @@ jobs:
           path: "docs/_build"
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4