Build documentation (PDF)

Deprecate `is_Category`, `is_Endset`, `is_Homset`, `is_Parent`, `is_RingHomset`, `is_SimplicialComplexHomset` #7183

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docs-pdf	11m 48s
	11m 48s