Skip to content
Documentation

Document use of local Kroki services within GitHub Actions #125

Sign in to view logs

Document use of local Kroki services within GitHub Actions

Document use of local Kroki services within GitHub Actions #125

Workflow file for this run

.github/workflows/Documentation.yml at 0f2d084
---
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: Launch local Kroki service instance(s)
run: |
julia --project=. -e '
using Pkg
Pkg.instantiate()
using Kroki
Kroki.Service.start!()
Kroki.Service.info()
'
env:
KROKI_CONTAINER_IMAGE_TAG: 0.18.0
- name: Set up documentation dependencies
run: |
julia --project=docs -e '
using Pkg
Pkg.develop(PackageSpec(path=pwd()))
'
- name: Build & Deploy
run: julia --project=docs docs/make.jl
env:
# For authentication with GitHub Actions
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
KROKI_ENDPOINT: http://localhost:8000