prio-queue: use cascade-down sift for faster extract-min#2132
Open
spkrka wants to merge 1 commit into
Open
GitGitGadget / handle_pr_push
succeeded
Jun 1, 2026 in 22s
Handle PR push
Handling new commits in #2132
Details
This handles #2132, see https://github.com/gitgitgadget-workflows/gitgitgadget-workflows/actions/runs/26741625058 for details.
Loading