Skip to content
Label PR based on Comment

[Merged by Bors] - doc(Order/Cofinal): update module docstring #175581

Sign in to view logs

[Merged by Bors] - doc(Order/Cofinal): update module docstring

[Merged by Bors] - doc(Order/Cofinal): update module docstring #175581

Triggered via pull request May 23, 2026 22:07
@grunweggrunweg
submitted #39756
Status Success
Total duration 8s
Artifacts –

labels_from_comment.yml

on: pull_request_review
update-label
4s
update-label
Fit to window
Zoom out
Zoom in