Skip to content
Manual

make: Make .orgconfig a prerequisite of %.texi #103

Sign in to view logs

make: Make .orgconfig a prerequisite of %.texi

make: Make .orgconfig a prerequisite of %.texi #103

Triggered via push August 20, 2024 20:56
@tarsiustarsius
pushed 517c69e
main
Status Success
Total duration 1m 31s
Artifacts –

manual.yml

on: push
Manual  /  Generate manual
1m 22s
Manual / Generate manual
Fit to window
Zoom out
Zoom in