From 1baf905ba756607aba1a4b2835f60fbd8e98b177 Mon Sep 17 00:00:00 2001
From: Guillermo Perez <gpmayorga@users.noreply.github.com>
Date: Mon, 20 Nov 2023 12:32:08 +0100
Subject: [PATCH] fix docs cache (github token)

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

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index ad072ed079..acd9092151 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -10,6 +10,7 @@ jobs:
   build-docs:
     permissions:
       contents: read
+      id-token: write
     runs-on: ubuntu-latest-4-cores
     steps:
       - name: Checkout repository