From 08d50eeef2f37ff2462f219a7925f1757bb7e452 Mon Sep 17 00:00:00 2001 From: Hong Ge <3279477+yebai@users.noreply.github.com> Date: Fri, 9 May 2025 13:37:31 +0100 Subject: [PATCH] Update Documentation.yml --- .github/workflows/Documentation.yml | 28 ++++++++-------------------- 1 file changed, 8 insertions(+), 20 deletions(-) diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml index 0ec2baa2..556f7195 100644 --- a/.github/workflows/Documentation.yml +++ b/.github/workflows/Documentation.yml @@ -7,26 +7,14 @@ on: tags: '*' pull_request: +permissions: + contents: write + pull-requests: write + jobs: - build: - permissions: - contents: write - pull-requests: read - statuses: write - actions: write + docs: runs-on: ubuntu-latest + steps: - - uses: actions/checkout@v4 - - uses: julia-actions/setup-julia@v2 - with: - version: '1' - arch: x64 - include-all-prereleases: false - - name: Install dependencies - run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.update(); Pkg.instantiate()' - - name: Build and deploy - env: - GKSwstype: nul # turn off GR's interactive plotting for notebooks - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token - DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key - run: julia --project=docs/ docs/make.jl + - name: Build and deploy Documenter.jl docs + uses: TuringLang/actions/DocsDocumenter@main