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

chore(Order/UpperLower/Basic): use to_dual #193388

Sign in to view logs

chore(Order/UpperLower/Basic): use to_dual

chore(Order/UpperLower/Basic): use to_dual #193388

Triggered via pull request February 12, 2026 10:54
@JovanGerbJovanGerb
submitted #34640
Status Success
Total duration 12s
Artifacts –

maintainer_bors.yml

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