docs-builder: add pull-requests: write permission to docs-build workflow
#139
| Job | Run time |
|---|---|
| 5s | |
| 10s | |
| 15s |
pull-requests: write permission to docs-build workflow
#139
| Job | Run time |
|---|---|
| 5s | |
| 10s | |
| 15s |