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

feat(EisensteinSeries/E2): q-expansion of E₂ #231975

Sign in to view logs

Triggered via issue April 14, 2026 17:12

wwylele

commented on #38001 77d929d

Status Skipped

Total duration 1s

Artifacts –

maintainer_bors.yml

on: issue_comment

Add ready-to-merge or delegated label

⚡