Skip to content
Docs

Add docs interlinks (#131) #418

Sign in to view logs

Add docs interlinks (#131)

Add docs interlinks (#131) #418

Workflow file for this run

.github/workflows/Docs.yml at 438da79
name: Docs
on:
push:
branches:
- main
tags: '*'
pull_request:
jobs:
docs:
name: Documentation
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v2
with:
version: '1'
- name: Install dependencies, build and deploy
run: |
using Pkg
Pkg.develop(PackageSpec(path=pwd()))
Pkg.instantiate()
include(joinpath(pwd(), "docs", "make.jl"))
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
shell: julia --color=yes --project=docs/ {0}