From 6acae814874de6efe25588d7493d2f8ebd25923c Mon Sep 17 00:00:00 2001
From: Matteo Bernardini <matteo@teobe.net>
Date: Wed, 3 Sep 2025 12:06:49 +0800
Subject: [PATCH] ci: fix permissions

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index e346a5b..9d261b2 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -4,6 +4,10 @@ on:
     branches:
       - main
 
+concurrency:
+  group: "pages"
+  cancel-in-progress: false
+
 jobs:
   build:
     runs-on: ubuntu-latest
@@ -23,6 +27,10 @@ jobs:
   deploy:
     runs-on: ubuntu-latest
     needs: build
+    permissions:
+      contents: read
+      pages: write
+      id-token: write
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.page_url }}