diff --git a/.github/workflows/publish-doc.yaml b/.github/workflows/publish-doc.yaml index c2f55e16..b6744c60 100644 --- a/.github/workflows/publish-doc.yaml +++ b/.github/workflows/publish-doc.yaml @@ -7,8 +7,14 @@ on: pull_request: workflow_dispatch: +# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + jobs: - Build-Slides: + Build-Documentation-Site: runs-on: ubuntu-latest concurrency: group: slides-${{ github.ref }}