Skip to content

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Oct 2, 2024

Backport 3c75c87 from #2944.

* Add random sampler aggregation

* Address review comments

* Run make contrib

(cherry picked from commit 3c75c87)
@pquentin pquentin closed this Oct 2, 2024
@pquentin pquentin reopened this Oct 2, 2024
@pquentin pquentin merged commit d1b04d0 into 8.15 Oct 2, 2024
7 checks passed
@pquentin pquentin deleted the backport-2944-to-8.15 branch October 2, 2024 13:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants