From 965b05ffc547c4fab50de173aca6fa82272b3fe0 Mon Sep 17 00:00:00 2001 From: odunbar Date: Tue, 12 May 2026 15:02:22 -0700 Subject: [PATCH] update docs pipeline --- .github/workflows/Docs.yml | 17 +++++++++++------ 1 file changed, 11 insertions(+), 6 deletions(-) diff --git a/.github/workflows/Docs.yml b/.github/workflows/Docs.yml index 7d82dc3..cfc8728 100644 --- a/.github/workflows/Docs.yml +++ b/.github/workflows/Docs.yml @@ -7,22 +7,27 @@ on: tags: '*' pull_request: +permissions: + contents: write + pull-requests: read + statuses: write + jobs: docs-build: runs-on: ubuntu-latest timeout-minutes: 60 steps: - name: Cancel Previous Runs - uses: styfle/cancel-workflow-action@0.12.1 + uses: styfle/cancel-workflow-action@0.13.1 with: access_token: ${{ github.token }} - - uses: actions/checkout@v4 - - uses: julia-actions/setup-julia@v2 + - uses: actions/checkout@v6 + - uses: julia-actions/setup-julia@v3 with: - version: '1.7' + version: '1' show-versioninfo: 'true' - name: Cache artifacts - uses: actions/cache@v4 + uses: actions/cache@v5 env: cache-name: cache-artifacts with: @@ -37,6 +42,6 @@ jobs: - name: Build and deploy env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} + DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} JULIA_DEBUG: Documenter run: julia --color=yes --project=docs/ docs/make.jl