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

feat(Combinatorics/Graph): map on `Graph` #231976

Sign in to view logs

Triggered via pull request April 14, 2026 17:12

YaelDillies

submitted #37868

Status Skipped

Total duration 1s

Artifacts –

maintainer_bors.yml

on: pull_request_review

Add ready-to-merge or delegated label

⚡