prio-queue: use cascade-down sift for faster extract-min #6013
check-whitespace.yml
on: pull_request
check-whitespace
2m 24s
Annotations
2 errors
|
check-whitespace
Canceling since a higher priority waiting request for check-whitespace-refs/pull/2132/merge exists
|
|
check-whitespace
Canceling since a higher priority waiting request for check-whitespace-refs/pull/2132/merge exists
|