Build documentation (PDF)

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

Sign in to view logs

Triggered via pull request May 12, 2024 21:00

mkoeppe

synchronize #37922

mkoeppe:is_Category_deprecation

Status Cancelled

Total duration 23m 33s

Artifacts –

doc-build-pdf.yml

on: pull_request

Annotations

2 errors

build-docs-pdf

The run was canceled by @mkoeppe.

build-docs-pdf

The operation was canceled.