docs-builder: add pull-requests: write permission to docs-build workflow
#4218
| Job | Run time |
|---|---|
| 2m 25s | |
| 2m 30s | |
| 2m 23s | |
| 2m 51s | |
| 2m 28s | |
| 2m 23s | |
| 2m 25s | |
| 2m 43s | |
| 2m 21s | |
| 2m 25s | |
| 2m 27s | |
| 27m 21s |