ci: add permisions for deployment job

This commit is contained in:
2023-09-11 17:05:25 -05:00
parent 799d5d85e8
commit b2ad8e7afe

View File

@@ -1,13 +1,13 @@
name: Github Pages
on: [push]
permissions:
contents: write
jobs:
build-github-pages:
deploy:
runs-on: ubuntu-latest
permissions:
pages: write
id-token: write
steps:
- uses: actions/checkout@v2 # repo checkout