Closed richardcase closed 1 month ago
What this PR does / why we need it:
Updates the docs publishing workflow to use the GitHub Actions permissions
Which issue(s) this PR fixes (optional, in fixes #<issue number>(, fixes #<issue_number>, ...) format, will close the issue(s) when PR gets merged): Fixes #
fixes #<issue number>(, fixes #<issue_number>, ...)
Special notes for your reviewer:
Checklist:
What this PR does / why we need it:
Updates the docs publishing workflow to use the GitHub Actions permissions
Which issue(s) this PR fixes (optional, in
fixes #<issue number>(, fixes #<issue_number>, ...)
format, will close the issue(s) when PR gets merged): Fixes #Special notes for your reviewer:
Checklist: