PR #2117 Make SeedableRandomSampler the default always

Make SeedableRandomSampler the default always #2117

muellerzr merged 2 commits into main from fix-failing-tests

Fix tests

69a83fb4

muellerzr requested a review from

BenjaminBossan 2 years ago

Simplify logic a ~lot~

7e48a20f

muellerzr commented on 2023-11-02

muellerzr requested a review from

LysandreJik 2 years ago

BenjaminBossan commented on 2023-11-02

BenjaminBossan approved these changes on 2023-11-02

LysandreJik approved these changes on 2023-11-03

muellerzr merged 820fc4ca into main 2 years ago

muellerzr deleted the fix-failing-tests branch 2 years ago

Reviewers

LysandreJik

BenjaminBossan

Assignees

No one assigned

Labels

None yet

Milestone

No milestone