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