Skip to content

Bump julia-actions/setup-julia from 2.0.0 to 2.2.0 #40

Bump julia-actions/setup-julia from 2.0.0 to 2.2.0

Bump julia-actions/setup-julia from 2.0.0 to 2.2.0 #40

Workflow file for this run

name: Documentation
on:
merge_group:
pull_request:
push:
branches:
- master
tags:
- '*'
concurrency:
# Skip intermediate builds: all builds except for builds on the `master` branch
# Cancel intermediate builds: only pull request builds
group: ${{ github.workflow }}-${{ github.ref }}-${{ github.ref != 'refs/heads/master' || github.run_number }}
cancel-in-progress: ${{ startsWith(github.ref, 'refs/pull/') }}
jobs:
build:
permissions:
contents: write
statuses: write
pages: write # to deploy to Pages
id-token: write # to verify the deployment originates from an appropriate source
pull-requests: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29
- uses: julia-actions/setup-julia@3645a07f58c7f83b9f82ac8e0bb95583e69149e6
with:
version: '1'
- name: Install dependencies
run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
- name: Build and deploy
env:
JULIA_DEBUG: Documenter
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: julia --project=docs/ docs/make.jl