Skip to content

Improve message displaying rank and device

Sebastian Ohlmann requested to merge improve_device_message into main

Description

Also show the host name. This allows easier identification of ranks and devices to hosts. Also get rid of the leading zeros in this output.

Merge request reports