diff options
author | Alex <aleksandrosansan@gmail.com> | 2022-09-20 12:21:54 +0200 |
---|---|---|
committer | Jean Abou-Samra <jean@abou-samra.fr> | 2022-09-24 22:14:02 +0200 |
commit | 2ea11788e83cd517dcb1f24e9c1d862b0d865bf8 (patch) | |
tree | 7887cfda6c633f7043811329944e8b3cab817d75 /.github | |
parent | 9f5aa677a97d63d2d8441b949bc7047ec18c89c2 (diff) | |
download | pygments-git-2ea11788e83cd517dcb1f24e9c1d862b0d865bf8.tar.gz |
build: harden docs.yaml permissions
Signed-off-by: Alex <aleksandrosansan@gmail.com>
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/docs.yaml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/docs.yaml b/.github/workflows/docs.yaml index 66a57b8d..41adf4e2 100644 --- a/.github/workflows/docs.yaml +++ b/.github/workflows/docs.yaml @@ -5,8 +5,12 @@ on: branches: - master +permissions: {} jobs: build: + permissions: + contents: write # to push pages branch (peaceiris/actions-gh-pages) + runs-on: ubuntu-latest steps: - name: Setup Python |