move_step_to_completed

Description:

public void move_step_to_completed (int step_index)

Move the step at step_index from this list to Runner#completed and refresh the progress strip ( ProgressList.add_completed). Caller must ensure the step is finished (e.g. every child Details#exec_done).