Skip to content
Label PR based on Comment

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

Sign in to view logs

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

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

Triggered via pull request April 14, 2026 17:18
@oooviooovi
created #33664
Status Success
Total duration 7s
Artifacts –

labels_from_comment.yml

on: pull_request_review_comment
update-label
4s
update-label
Fit to window
Zoom out
Zoom in
⚡