From 023f0540bbdd137a3cf557dfd53a557d7f337cdc Mon Sep 17 00:00:00 2001
From: Matteo Fusi <fusiled@gmail.com>
Date: Fri, 22 May 2026 11:47:29 -0500
Subject: [PATCH] Fix permissions

---
 .github/workflows/publish_docs.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/publish_docs.yml b/.github/workflows/publish_docs.yml
index 32e8fda..df8a924 100644
--- a/.github/workflows/publish_docs.yml
+++ b/.github/workflows/publish_docs.yml
@@ -12,6 +12,7 @@ env:
 permissions:
   id-token: write  # Required for OIDC
   contents: read   # Often required to checkout code
+  pages: write
 
 jobs:
   # Build job