Use "make doc" to generate ./docs/docs.pdf

feat: 0.1.1 include Koliseo #4

Sign in to view logs

Triggered via pull request August 8, 2023 02:25

jgabaut

synchronize #1

devel

Status Success

Total duration 2m 8s

Artifacts –

make-doc.yml

on: pull_request

Generate ./docs/docs.pdf