Build documentation (PDF)

Deprecate `is_LaurentSeriesRing`, `is_MPowerSeriesRing`, `is_PowerSeriesRing` #8496

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-docs-pdf	22m 54s
	22m 54s