dotbot: choose the gateway Mari schedule when flashing #1039

Job	Run time
check frontend	55s
check console	55s
test (ubuntu-latest, python-3.12, node-20)	2m 52s
check custom control loop (ubuntu-latest)	1m 30s
check custom control loop (macos-latest)	1m 21s
test (windows-latest, python-3.12, node-20)	3m 25s
test (macos-latest, python-3.12, node-20)	2m 51s
check documentation	2m 39s
test (ubuntu-latest, python-3.11, node-18)	3m 16s
build source package (ubuntu-latest)	55s
build source package (macos-latest)	1m 25s
publish release	0s
	22m 4s

Navigation Menu