Kroki is commonly used in combination with Documenter on GitHub Actions. Although depending on the publicly available service may be sufficient for many packages, having additional guidance available on how to run private Kroki services within GitHub Actions would be beneficial in cases like private packages or to guard against the public service going down.
Kroki is commonly used in combination with
Documenter
on GitHub Actions. Although depending on the publicly available service may be sufficient for many packages, having additional guidance available on how to run private Kroki services within GitHub Actions would be beneficial in cases like private packages or to guard against the public service going down.