From bdb5e3a47eee9d350aee57c2032c2cb3db54de6e Mon Sep 17 00:00:00 2001
From: Luca Tassinari <luca.tassinari.2000@gmail.com>
Date: Tue, 20 Feb 2024 15:13:09 +0100
Subject: [PATCH] ci: add permissions to deploy on GH pages

---
 .github/workflows/publish-doc.yaml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/publish-doc.yaml b/.github/workflows/publish-doc.yaml
index c2f55e16..b6744c60 100644
--- a/.github/workflows/publish-doc.yaml
+++ b/.github/workflows/publish-doc.yaml
@@ -7,8 +7,14 @@ on:
   pull_request:
   workflow_dispatch:
 
+# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages
+permissions:
+  contents: read
+  pages: write
+  id-token: write
+
 jobs:
-  Build-Slides:
+  Build-Documentation-Site:
     runs-on: ubuntu-latest
     concurrency:
       group: slides-${{ github.ref }}