gh-36771: fix doctest for nauty 2.8.8 #46

Triggered via push November 27, 2023 00:58

vbraun

develop

Status Success

Total duration 37m 35s

Artifacts 2

This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

doc-build-pdf.yml

on: push

Produced during runtime

Name	Size
docs-pdf Expired	181 MB
upstream Expired	50.9 KB