You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Summary:
Pull Request resolved: #28
**Diff Purpose & Changes**
- We can migrate all instances of worker.set_random_seed_impl to now use builtins.random.set_manual_seed.
- Wonder if some of these cases would benefit from random_seed() instead. Maybe that can be checked out in the future.
Reviewed By: suo
Differential Revision: D72945165
fbshipit-source-id: b2f9cc48b34b021c41a6032be7bdd7ca31580823
0 commit comments