Revision - df2dffb - Sort devices explicitly by process index, then id (as opposed to [...]

Revision df2dffbc7c0732c43eadcbeb3663b2febbb2037e authored by jax authors on 08 July 2024, 17:24:40 UTC, committed by jax authors on 19 July 2024, 00:51:51 UTC

Sort devices explicitly by process index, then id (as opposed to IDs alone). IDs may be randomly generated, and are not guaranteed to be ordered based on their process index.

PiperOrigin-RevId: 650294623

1 parent 984eca2

Files
Changes

Permalinks

File	Mode	Size
ISSUE_TEMPLATE
workflows
dependabot.yml	-rw-r--r--	517 bytes

Showing with 0 additions and 0 deletions (0 / 0 diffs computed)

Computing file changes ...