Maintainer merge

feat(Geometry/Convex/Cone/Pointed): face lattice of pointed cones #252304

Sign in to view logs

Triggered via pull request April 14, 2026 17:18

ooovi

created #33664

Status Skipped

Total duration 1s

Artifacts –

maintainer_merge.yml

on: pull_request_review_comment

Ping maintainers on Zulip

⚡