diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index efcce452..7a9684e7 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -3,6 +3,12 @@ name: CI on: [push] +# Sets permissions of the GITHUB_TOKEN to allow deployment to GitHub Pages +permissions: + contents: read + pages: write + id-token: write + jobs: build_docs: runs-on: ubuntu-latest