Skip to content

[Merged by Bors] - feat: define ConditionallyCompletePartialOrder #193702

[Merged by Bors] - feat: define ConditionallyCompletePartialOrder

[Merged by Bors] - feat: define ConditionallyCompletePartialOrder #193702

Triggered via pull request February 12, 2026 23:41
@b-mehtab-mehta
submitted #35046
Status Success
Total duration 9s
Artifacts 1

maintainer_bors.yml

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

Artifacts

Produced during runtime
Name Size Digest
workflow-data Expired
268 Bytes
sha256:e39a6591d8e53648138bfbd5a18d854509b1f2ca0244bf56e65cfb7ec1ea73db