From 0a093bc472dc25e0f59865d1d7d8275663fb9dad Mon Sep 17 00:00:00 2001
From: Punit Arani <punit@joinslash.com>
Date: Wed, 8 Jan 2025 01:51:55 -0800
Subject: [PATCH] Add github pages environment to docs workflow

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index fec7e08..8c0998e 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,14 +1,25 @@
 name: Deploy Documentation
+
 on:
   push:
     branches:
       - main
+  workflow_dispatch:
 
 permissions:
   contents: write
+  pages: write
+  id-token: write
+
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
 
 jobs:
   deploy:
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4