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: