From b854a6532cd55118a4843352f3811da529ddeec5 Mon Sep 17 00:00:00 2001 From: wheeheee <104880306+wheeheee@users.noreply.github.com> Date: Sun, 17 Nov 2024 13:03:39 +0800 Subject: [PATCH] permissions for docs (#591) --- .github/workflows/CI.yml | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 69306fa26..bcbb3f093 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -56,11 +56,17 @@ jobs: docs: name: Documentation + permissions: + contents: write + statuses: write runs-on: ubuntu-latest steps: - uses: actions/checkout@v4 + - uses: julia-actions/setup-julia@v2 + with: + version: '1' + show-versioninfo: true - uses: julia-actions/julia-buildpkg@latest - uses: julia-actions/julia-docdeploy@latest env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}