Skip to content

Conversation

@hvitved
Copy link
Contributor

@hvitved hvitved commented Nov 20, 2024

As suggested by @aschackmull here.

@github-actions github-actions bot added the Rust Pull requests that update Rust code label Nov 20, 2024
@hvitved hvitved marked this pull request as ready for review November 20, 2024 13:04
@hvitved hvitved added the no-change-note-required This PR does not need a change note label Nov 20, 2024
@hvitved hvitved merged commit 596cfcf into github:main Nov 20, 2024
38 of 39 checks passed
@hvitved hvitved deleted the shared/dense-rank-refactor branch November 20, 2024 14:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

no-change-note-required This PR does not need a change note Rust Pull requests that update Rust code

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants