Skip to content

Update */Manifest.toml #764

Update */Manifest.toml

Update */Manifest.toml #764

Workflow file for this run

name: Documentation
on:
push:
branches:
- master
- actions/trigger/docs
tags: '*'
pull_request:
jobs:
Documenter:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2
- uses: julia-actions/setup-julia@latest
with:
version: 1.6
- name: Install Run.jl
run: julia -e 'using Pkg; pkg"add [email protected]"'
- name: Install dependencies
run: julia -e 'using Run; Run.prepare_docs()'
- name: Build and deploy
id: build-and-deploy
if: |
github.event_name == 'push' || (
github.event_name == 'pull_request' &&
!contains(github.head_ref, 'create-pull-request/')
)
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.SSH_KEY }}
run: julia -e 'using Run; Run.docs()'
- name: Just build
if: steps.build-and-deploy.outcome == 'skipped'
run: julia -e 'using Run; Run.docs()'