Skip to content

Switch site to MultiDocumenter.jl and add package docs #16

Switch site to MultiDocumenter.jl and add package docs

Switch site to MultiDocumenter.jl and add package docs #16

Workflow file for this run

name: Build and deploy
on:
schedule:
- cron: "0 */6 * * *" # Run every 6 hours
pull_request:
push:
branches:
- master
tags: "*"
workflow_dispatch:
permissions:
actions: write
contents: write
jobs:
docs:
name: Documentation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
- uses: julia-actions/cache@v2
- run: |
julia --project=docs -e 'using Pkg; Pkg.instantiate()'
- run: |
git config user.name github-actions
git config user.email [email protected]
julia --project=docs docs/make.jl deploy