Valentin Rigal
Results
1
comments of
Valentin Rigal
If we use a unique name, it could also be used as the ID for the run (making #610 trivial, which simplifies all the "resume" code).