Skip to content
Manual

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

Sign in to view logs

make: Make .orgconfig a prerequisite of %.texi

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

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

manual.yml

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