docs-builder: add pull-requests: write permission to docs-build workflow#1454
Merged
pquentin merged 1 commit intoelastic:mainfrom Jun 25, 2025
pull-requests: write permission to docs-build workflow#1454