Update permission to doc actions (#146)

Author: blegat

.github/workflows/CI.yml

@@ -42,6 +42,14 @@ jobs:
           files: lcov.info
   docs:
       name: Documentation
+      # These permissions are needed to:
+      # - Deploy the documentation: https://documenter.juliadocs.org/stable/man/hosting/#Permissions
+      # - Delete old caches: https://github.com/julia-actions/cache#usage
+      permissions:
+        actions: write
+        contents: write
+        pull-requests: read
+        statuses: write
       runs-on: ubuntu-latest
       steps:
         - uses: actions/checkout@v6