CI: move docs job into separate workflow · gap-packages/NautyTracesInterface@a06e903

Triggered via push October 17, 2025 17:28

fingolfin

master

Status Success

Total duration 3m 7s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
manual Expired	131 KB	`sha256:2ee1f72ebcd2f6069b632b8734bbe96ad23164b698a7f3184dfc781d8b302215`