docs-builder: add pull-requests: write permission to docs-build workflow - #171
Merged
xrmx merged 3 commits intoJun 26, 2025
pull-requests: write permission to docs-build workflow - #171