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

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

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 #189360

Triggered via pull request February 4, 2026 23:36
@urkudurkud
submitted #34833
Status Success
Total duration 7s
Artifacts –

maintainer_bors.yml

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