CI: upload manual.pdf uncompressed · gap-packages/NautyTracesInterface@94156e0

Triggered via push March 11, 2026 10:06

fingolfin

master

Status Success

Total duration 24m 13s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
manual.pdf Expired	147 KB	`sha256:d90de0994833318cc4b44cfafde6f81cc8488ad33f28039250fdda0d73d5da2d`