From 1a1c9a8867ed1459cf189de7458903ef3c7a0ada Mon Sep 17 00:00:00 2001
From: Pierre Villemot <pierre.villemot@ocamlpro.com>
Date: Thu, 18 Jul 2024 14:10:53 +0200
Subject: [PATCH] agaiiiiiiiiiiiiiiiiiiiiiiiiiiiiin

---
 .github/workflows/build_doc.yml  | 2 ++
 .github/workflows/deploy_doc.yml | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
index 06cee9b58..bb3c23ea4 100644
--- a/.github/workflows/build_doc.yml
+++ b/.github/workflows/build_doc.yml
@@ -2,6 +2,8 @@ name: Build documentation
 
 on: [push, pull_request]
 
+permissions: write-all
+
 env:
   OCAML_DEFAULT_VERSION: 4.14.2
   # Add OPAMYES=true to the environment, this is usefill to replace `-y` option
diff --git a/.github/workflows/deploy_doc.yml b/.github/workflows/deploy_doc.yml
index fc46f5df7..5517cf5c3 100644
--- a/.github/workflows/deploy_doc.yml
+++ b/.github/workflows/deploy_doc.yml
@@ -1,4 +1,4 @@
-name: github pages
+name: Deploy Documentation
 
 on:
   push: