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

[Merged by Bors] - chore(FDeriv/Const): generalize to a TVS #189361

Sign in to view logs

[Merged by Bors] - chore(FDeriv/Const): generalize to a TVS

[Merged by Bors] - chore(FDeriv/Const): generalize to a TVS #189361

Triggered via issue February 4, 2026 23:39
@urkudurkud
commented on #34833 d60624c
Status Success
Total duration 18s
Artifacts –

maintainer_bors.yml

on: issue_comment
Add ready-to-merge or delegated label
15s
Add ready-to-merge or delegated label
Fit to window
Zoom out
Zoom in

Annotations

1 warning
Add ready-to-merge or delegated label
Unexpected input(s) 'repository', 'issue_number', 'labels', valid inputs are ['route', 'mediaType']