Skip to content
Build documentation

Deprecate is_Category, is_Endset, is_Homset, is_Parent, is_RingHomset, is_SimplicialComplexHomset #12554

Sign in to view logs

Deprecate is_Category, is_Endset, is_Homset, is_Parent, is_RingHomset, is_SimplicialComplexHomset

Deprecate is_Category, is_Endset, is_Homset, is_Parent, is_RingHomset, is_SimplicialComplexHomset #12554

Triggered via pull request May 12, 2024 21:00
@mkoeppemkoeppe
synchronize #37922
mkoeppe:is_Category_deprecation
Status Cancelled
Total duration 28m 38s
Artifacts –

doc-build.yml

on: pull_request
build-docs
19m 5s
build-docs
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build-docs
The run was canceled by @mkoeppe.
build-docs
The operation was canceled.