From 048fe963a69254e0e843ac80a6bf0156426bbd11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bruno=20S=C3=A1nchez-Andrade=20Nu=C3=B1o?=
 <brunosan@gmail.com>
Date: Fri, 12 Sep 2025 05:51:40 -0700
Subject: [PATCH] Potential fix for code scanning alert no. 1: Workflow does
 not contain permissions

Co-authored-by: Copilot Autofix powered by AI <62310815+github-advanced-security[bot]@users.noreply.github.com>
---
 .github/workflows/deploy-docs.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
index 6076d297..054dccac 100644
--- a/.github/workflows/deploy-docs.yml
+++ b/.github/workflows/deploy-docs.yml
@@ -24,6 +24,8 @@ jobs:
   # This job installs dependencies, builds the book, and pushes it to `gh-pages`
   build-book:
     runs-on: ubuntu-22.04
+    permissions:
+      contents: read
     defaults:
       run:
         shell: bash -l {0}