Add "ready-to-merge" and "delegated" label

[Merged by Bors] - feat(ContinuousMultilinearMap): generalize some definitions #189355

Sign in to view logs

Triggered via pull request February 4, 2026 23:32

eric-wieser

created #34491

Status Success

Total duration 7s

Artifacts –

maintainer_bors.yml

on: pull_request_review_comment

Add ready-to-merge or delegated label