diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 8bf52fb..a0adb27 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -57,6 +57,8 @@ jobs: docs: name: Documentation runs-on: ubuntu-latest + permissions: + contents: write steps: - uses: actions/checkout@v7 - uses: julia-actions/setup-julia@v3 @@ -75,5 +77,4 @@ jobs: - run: julia --project=docs docs/make.jl env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}