Make Makefile a bit more robust · gap-packages/AutoDoc@801569c

Triggered via push March 18, 2026 11:51

fingolfin

master

Status Success

Total duration 2m 16s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
manual.pdf	284 KB	`sha256:2d02416a827517e55cd2392d25ff4daf67ac8313af6db692d3dbbb6dd845964f`