Update CI to use setup-gap@v3, add missing dependencies (#54) · gap-packages/NautyTracesInterface@096e41a

Triggered via push July 29, 2026 00:17

fingolfin

master

Status Success

Total duration 2m 3s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
manual.pdf	146 KB	`sha256:1fe1bfd8d3c957525719d4a9aaec9e980f4eac08d1de0d1c83a57c00cb1f680a`