Skip to content

Merge Release/0.4.0 to develop to bring up develop to sync with main #85

Merge Release/0.4.0 to develop to bring up develop to sync with main

Merge Release/0.4.0 to develop to bring up develop to sync with main #85

Workflow file for this run

name: Documenter
on:
pull_request:
push:
branches: [main]
tags: ['*']
jobs:
Documenter:
permissions:
contents: write
name: Documentation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: julia-actions/julia-buildpkg@latest
- uses: julia-actions/julia-docdeploy@latest
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}