Skip to content

Util: Short-circuit rank usage in dense ranking library#21876

Merged
hvitved merged 1 commit into
github:mainfrom
hvitved:dense-rank-short-circuit
May 22, 2026
Merged

Util: Short-circuit rank usage in dense ranking library#21876
hvitved merged 1 commit into
github:mainfrom
hvitved:dense-rank-short-circuit

Util: Only compute dense ranks when needed

6d6e9c0
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
triage
succeeded May 22, 2026 in 4s