From 449d3f33ea7e6139ae77f6b399c40bb2ff11fd14 Mon Sep 17 00:00:00 2001
From: Dasun Pubudumal <dp27@sanger.ac.uk>
Date: Thu, 22 Aug 2024 16:48:47 +0100
Subject: [PATCH] chore: Update generate_docs workflow to include permissions
 for GitHub Pages and OIDC token

---
 .github/workflows/generate_docs.yml | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.github/workflows/generate_docs.yml b/.github/workflows/generate_docs.yml
index 6cacdb4..41b9a6f 100644
--- a/.github/workflows/generate_docs.yml
+++ b/.github/workflows/generate_docs.yml
@@ -7,6 +7,10 @@ on:
       - '143-write-*'
   workflow_dispatch:
 
+permissions:
+  pages: write      # Allow writing to the GitHub Pages
+  id-token: write   # Allow OIDC token to be issued
+
 jobs:
   build:
     runs-on: ubuntu-latest