PR #4219 Handle sparse PjRtDevice IDs

Handle sparse PjRtDevice IDs #4219

jonb377 merged 1 commit into master from jonbolin-sparse-ids

jonb377 force pushed from 06a4ac79 to d40e95ad 3 years ago

yeounoh commented on 2022-11-23

jonb377 requested a review from

will-cromar 3 years ago

jonb377 force pushed from d40e95ad to c52c006a 3 years ago

jonb377 force pushed from c52c006a to 39737f4c 3 years ago

jonb377 marked this pull request as ready for review 3 years ago

jonb377 requested a review from

alanwaketan 3 years ago

jonb377 force pushed from 39737f4c to 1d66ab46 3 years ago

alanwaketan commented on 2023-03-09

alanwaketan approved these changes on 2023-03-09

jonb377 force pushed from 1d66ab46 to df7f8dd3 3 years ago

jonb377 force pushed from df7f8dd3 to 09241952 3 years ago

Handle sparse PjRtDevice IDs

d03e7200

jonb377 force pushed from 09241952 to d03e7200 3 years ago

will-cromar approved these changes on 2023-03-14

jonb377 merged faca0a1f into master 3 years ago

jonb377 deleted the jonbolin-sparse-ids branch 3 years ago

Reviewers

will-cromar

alanwaketan

yeounoh

Assignees

No one assigned

Labels

None yet

Milestone

No milestone