Skip to content
Docs

Make Makefile a bit more robust #198

Sign in to view logs

Make Makefile a bit more robust

Make Makefile a bit more robust #198

Triggered via push March 18, 2026 11:53
@fingolfinfingolfin
pushed 3993c8b
master
Status Success
Total duration 2m 11s
Artifacts 1

docs.yml

on: push
Build manuals
2m 7s
Build manuals
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
manual.pdf
284 KB
sha256:2d02416a827517e55cd2392d25ff4daf67ac8313af6db692d3dbbb6dd845964f