Skip to content

Documenter link fix (#196) #11

Documenter link fix (#196)

Documenter link fix (#196) #11

Workflow file for this run

name: Documentation
on:
push:
branches:
- master
tags: '*'
pull_request:
jobs:
build:
# These permissions are needed to:
# - Deploy the documentation: https://documenter.juliadocs.org/stable/man/hosting/#Permissions
# - Delete old caches: https://github.com/julia-actions/cache#usage
permissions:
actions: write
contents: write
pull-requests: read
statuses: write
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: '1'
- name: Install LaTeX
run: sudo apt-get update && sudo apt-get install -y texlive-latex-extra texlive-fonts-recommended texlive-luatex
- uses: julia-actions/cache@v2
- name: Install dependencies
shell: julia --color=yes --project=doc {0}
run: |
using Pkg
Pkg.develop(PackageSpec(path=pwd()))
Pkg.instantiate()
- name: Build and deploy
run: julia --color=yes --project=doc --code-coverage=user doc/make.jl
env:
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # Authenticating with SSH deploy key
- uses: julia-actions/julia-processcoverage@v1
- uses: codecov/codecov-action@v5