Closed pbchekin closed 1 day ago
By default, device is set to max1100. Both device and driver_version are used as labels to select a runner. If runner_label is set, then it will be used to select a runner instead.
device
max1100
driver_version
runner_label
Fixes #1542 .
By default,
device
is set tomax1100
. Bothdevice
anddriver_version
are used as labels to select a runner. Ifrunner_label
is set, then it will be used to select a runner instead.Fixes #1542 .