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

[Merged by Bors] - feat: cardinality of Hahn series inverse #168592

Sign in to view logs

Triggered via pull request December 25, 2025 08:04

YaelDillies

submitted #32643

Status Success

Total duration 6s

Artifacts –

maintainer_bors.yml

on: pull_request_review

Add ready-to-merge or delegated label

⚡