From 4f058887291baade82b5e58f65014e5ae7423c3a Mon Sep 17 00:00:00 2001 From: Jordan Jalving Date: Sun, 1 Sep 2024 15:26:56 -0700 Subject: [PATCH] update documenter workflow (#123) * update doc workflow * update doc workflow file --- .github/workflows/Documentation.yml | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml index b09ec97e..647687f3 100644 --- a/.github/workflows/Documentation.yml +++ b/.github/workflows/Documentation.yml @@ -3,22 +3,28 @@ name: Documentation on: push: branches: - - master + - main tags: '*' pull_request: jobs: build: + permissions: + actions: write + contents: write + pull-requests: read + statuses: write runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 + - uses: actions/checkout@v4 - uses: julia-actions/setup-julia@latest with: version: '1.6' + - uses: julia-actions/cache@v1 - name: Install dependencies run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()' - name: Build and deploy env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key run: julia --project=docs/ docs/make.jl