From fc6ebdc242fcbacdbc8f8f7dbb77a37e8fce40bd Mon Sep 17 00:00:00 2001 From: Carlo Baldassi Date: Fri, 9 Feb 2024 00:20:35 +0100 Subject: [PATCH] Update github's documentation workflow --- .github/workflows/{docs.yml => documentation.yml} | 13 ++++++++----- 1 file changed, 8 insertions(+), 5 deletions(-) rename .github/workflows/{docs.yml => documentation.yml} (52%) diff --git a/.github/workflows/docs.yml b/.github/workflows/documentation.yml similarity index 52% rename from .github/workflows/docs.yml rename to .github/workflows/documentation.yml index 828d10e..0e96d4e 100644 --- a/.github/workflows/docs.yml +++ b/.github/workflows/documentation.yml @@ -9,16 +9,19 @@ on: jobs: build: + permissions: + contents: write + statuses: write runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2 - - uses: julia-actions/setup-julia@latest + - uses: actions/checkout@v4 + - uses: julia-actions/setup-julia@v1 with: - version: '1.5' + version: '1.10' - 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 }} # For authentication with GitHub Actions token - DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key + 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