From 649959eff02ace52f9f8cb5c8ce45693eb0b4568 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tommy=20Jos=C3=A9povic?=
 <44372776+tjosepo@users.noreply.github.com>
Date: Thu, 18 Jul 2024 16:26:19 -0400
Subject: [PATCH] [IDP-1845] Fix deployment, again (#20)

---
 .github/workflows/publish-docs.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/publish-docs.yml b/.github/workflows/publish-docs.yml
index 7a22113..234d035 100644
--- a/.github/workflows/publish-docs.yml
+++ b/.github/workflows/publish-docs.yml
@@ -12,9 +12,14 @@ jobs:
     runs-on: ubuntu-latest
 
     permissions:
+      contents: read
       pages: write      # to deploy to Pages
       id-token: write   # to verify the deployment originates from an appropriate source
 
+    environment:
+      name: github-pages
+      url: ${{steps.deployment.outputs.page_url}}
+
     steps:
       - uses: actions/checkout@v4
 
@@ -31,4 +36,5 @@ jobs:
           path: ${{ steps.retype.outputs.retype-output-path }}
       
       - name: Deploy to GitHub Pages
+        id: deployment
         uses: actions/deploy-pages@v4
\ No newline at end of file