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

chore(Algebra/Azumaya/Basic): clean up imports #165291

Sign in to view logs

Triggered via issue December 17, 2025 22:20

dagurtomas

commented on #32603 1ba359a

Status Success

Total duration 6s

Artifacts –

maintainer_bors.yml

on: issue_comment

Add ready-to-merge or delegated label