2020-05-25 04:08:07 +00:00
|
|
|
name: Build Documentation
|
2020-01-18 02:46:46 +00:00
|
|
|
|
|
|
|
on:
|
2020-05-25 04:08:07 +00:00
|
|
|
push:
|
|
|
|
branches:
|
|
|
|
- master
|
|
|
|
- develop
|
|
|
|
- release/*
|
|
|
|
tags: '*'
|
|
|
|
pull_request:
|
2020-01-18 02:46:46 +00:00
|
|
|
|
|
|
|
jobs:
|
|
|
|
build:
|
2020-05-25 04:08:07 +00:00
|
|
|
runs-on: ubuntu-latest
|
2020-01-18 02:46:46 +00:00
|
|
|
steps:
|
2020-05-25 04:08:07 +00:00
|
|
|
- uses: actions/checkout@v2
|
|
|
|
- uses: julia-actions/setup-julia@v1
|
2020-01-18 02:46:46 +00:00
|
|
|
with:
|
2020-05-25 04:08:07 +00:00
|
|
|
version: '1'
|
|
|
|
- name: Install Dependencies
|
|
|
|
run: julia --color=yes --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
|
|
|
|
- name: Build and Deploy
|
2020-01-18 02:46:46 +00:00
|
|
|
env:
|
|
|
|
# GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
|
|
|
|
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
|
2020-05-25 04:08:07 +00:00
|
|
|
run: julia --color=yes --project=docs/ docs/make.jl
|