docs-builder: add pull-requests: write permission to docs-build wor…
#214
| Job | Run time |
|---|---|
| 4s | |
| 29s | |
| 33s |
pull-requests: write permission to docs-build wor…
#214
| Job | Run time |
|---|---|
| 4s | |
| 29s | |
| 33s |