mulled: also consider non strict channel priority #22765
Triggered via pull request
January 21, 2025 12:12
bernt-matthias
Status
Cancelled
Total duration
9m 27s
Artifacts
–
Annotations
4 errors
|
Reports startup test (3.13)
Canceling since a higher priority waiting request for 'Reports startup-refs/pull/19425/merge' exists
|
|
Reports startup test (3.13)
The operation was canceled.
|
|
Reports startup test (3.8)
Canceling since a higher priority waiting request for 'Reports startup-refs/pull/19425/merge' exists
|
|
Reports startup test (3.8)
The operation was canceled.
|