docs-builder: add pull-requests: write permission to docs-build workflow
#1389
| Job | Run time |
|---|---|
| 13s | |
| 13s |
pull-requests: write permission to docs-build workflow
#1389
| Job | Run time |
|---|---|
| 13s | |
| 13s |