Fix an error that GPU ID is not dumped#17

Merged

RenfengLiu merged 1 commit intogoogle:mainfrom RenfengLiu:fix_dump_error

Oct 13, 2023

+12-6

Commits on Oct 13, 2023

Fix an error that GPU ID is not dumped.
RenfengLiu
committed