PR #388 Do not init process group if already initialized

Do not init process group if already initialized #388

OlivierDehaene merged 2 commits into huggingface:main from Yard1:dist_is_initialized

Do not init process group if already initialized

1809159a

Merge branch 'main' into dist_is_initialized

90f65125

OlivierDehaene merged ae466a87 into main 3 years ago

Yard1 deleted the dist_is_initialized branch 3 years ago

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Milestone

No milestone