2021-07-07 14:46:08 +00:00
|
|
|
name: Documentation
|
2021-07-07 14:42:20 +00:00
|
|
|
|
|
|
|
|
on:
|
|
|
|
|
push:
|
|
|
|
|
branches:
|
|
|
|
|
- main
|
|
|
|
|
- develop
|
|
|
|
|
pull_request:
|
|
|
|
|
branches:
|
|
|
|
|
- master
|
2021-07-07 14:47:05 +00:00
|
|
|
workflow_dispatch:
|
2021-07-07 14:42:20 +00:00
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
build:
|
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
|
steps:
|
|
|
|
|
- uses: actions/checkout@v2
|
|
|
|
|
- uses: julia-actions/setup-julia@latest
|
|
|
|
|
with:
|
|
|
|
|
version: '1.5'
|
|
|
|
|
- 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 }}
|
|
|
|
|
run: julia --project=docs/ docs/make.jl
|
|
|
|
|
|
