agaiiiiiiiiiiiiiiiiiiiiiiiiiiiiin

Halbaroth · Jul 18, 2024 · 1a1c9a8 · 1a1c9a8
1 parent 2305577
commit 1a1c9a8
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git 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
@@ -1,4 +1,4 @@
-name: github pages
+name: Deploy Documentation
 
 on:
   push: