Skip to content

Merge pull request #55 from bauglir/document-local-kroki-services-in-… #130

Merge pull request #55 from bauglir/document-local-kroki-services-in-…

Merge pull request #55 from bauglir/document-local-kroki-services-in-… #130

Workflow file for this run

---
name: Documentation
on:
pull_request:
push:
branches:
- development
- main
tags:
- v*
jobs:
docs:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: julia-actions/setup-julia@v1
with:
version: '1.10'
- name: Install dependencies
run: |
julia --project=docs -e '
using Pkg
Pkg.develop(PackageSpec(path=pwd()))
Pkg.instantiate()'
- name: Build & Deploy
run: julia --project=docs docs/make.jl
env:
# For authentication with GitHub Actions
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}