Change permissions in deploy docs workflow

- Workflow dispatch needs write access to actions.
- Relates #166

.github/workflows/deploy-docs.yml

@@ -2,7 +2,8 @@ name: Deploy Docs
 on:
   workflow_dispatch:
 
-permissions: read-all
+permissions:
+  actions: write
 jobs:
   build:
     runs-on: ubuntu-latest