Skip to content
Use "make doc" to compile ./documentation/docs.pdf

feat: 0.2.9 Better header for scripts output #16

Sign in to view logs

feat: 0.2.9 Better header for scripts output

feat: 0.2.9 Better header for scripts output #16

Triggered via pull request August 31, 2023 19:17
@jgabautjgabaut
opened #58
devel
Status Cancelled
Total duration 3s
Artifacts –

make_doc.yml

on: pull_request
Generate ./documentation/docs.pdf
Generate ./documentation/docs.pdf
Fit to window
Zoom out
Zoom in

Annotations

1 error
Use "make doc" to compile ./documentation/docs.pdf
Canceling since a higher priority waiting request for 'refs/pull/58/merge' exists