tree 0da5c7f8d4bec5c26d13b727de829bbb4bf91111
parent dac0bba8b4762def59b5f929f6e9cc04f376e3e3
author Serge Bazanski <serge@monogon.tech> 1718704606 +0000
committer Serge Bazanski <serge@monogon.tech> 1719303671 +0000

m/test/launch: order nodes in NodeIDs correctly

This ensures that referring to node by number via NodeIDs is possible -
ie. that NodeIDs[n] is the ID of the nth node as defined in NodeOpts or
as used as the 'idx' argument in RebootNode.

This was never and is still not correctly formalized, even in comments,
and is yet another proof that the cluster launch code deserves to be
rewritten from first principles.

Fixes #301.

Change-Id: I1ad13dc3bdd35a0c34f86e5d051ca9378491c876
Reviewed-on: https://review.monogon.dev/c/monogon/+/3168
Reviewed-by: Jan Schär <jan@monogon.tech>
Tested-by: Jenkins CI