ask for escalated privileges in push workflows

This commit is contained in:
Lincoln Stein 2023-03-25 15:22:25 -04:00
parent 9344687a56
commit 17d8bbf330
2 changed files with 6 additions and 2 deletions

View File

@ -16,6 +16,9 @@ on:
- 'v*.*.*' - 'v*.*.*'
workflow_dispatch: workflow_dispatch:
permissions:
contents: write
jobs: jobs:
docker: docker:
if: github.event.pull_request.draft == false if: github.event.pull_request.draft == false

View File

@ -5,6 +5,9 @@ on:
- 'main' - 'main'
- 'development' - 'development'
permissions:
contents: write
jobs: jobs:
mkdocs-material: mkdocs-material:
if: github.event.pull_request.draft == false if: github.event.pull_request.draft == false
@ -34,8 +37,6 @@ jobs:
- name: deploy to gh-pages - name: deploy to gh-pages
if: ${{ github.ref == 'refs/heads/main' }} if: ${{ github.ref == 'refs/heads/main' }}
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
run: | run: |
python -m \ python -m \
mkdocs gh-deploy \ mkdocs gh-deploy \