No merge #691

Job	Run time
build (stm32f7, chibios, 10)	3m 37s
build (stm32h7, chibios, 10)	3m 46s
build (fmuv2-plane, chibios, 10)	2m 0s
build (periph-build, chibios, 10)	3m 39s
build (iofirmware, chibios, 10)	2m 1s
build (CubeOrange-bootloader, chibios, 10)	1m 6s
build (fmuv3-bootloader, chibios, 10)	45s
build (revo-bootloader, chibios, 10)	52s
build (stm32h7-debug, chibios, 10)	2m 28s
build (fmuv3, chibios, 10)	5m 42s
build (revo-mini, chibios, 10)	4m 9s
build (MatekF405-Wing, chibios, 10)	4m 55s
build (CubeOrange-ODID, chibios, 10)	2m 29s
build (CubeRedPrimary-bootloader, chibios, 10)	53s
build (configure-all, chibios, 10)	11m 21s
build (build-options-defaults-test, chibios, 10)	6m 50s
build (signing, chibios, 10)	2m 54s
build (CubeOrange-PPP, chibios, 10)	2m 16s
build (CubeRed-EKF2, chibios, 10)	2m 12s
build (SOHW, chibios, 10)	3m 38s
build (Pixhawk6X-PPPGW, chibios, 10)	1m 14s
build (new-check, chibios, 10)	4m 13s
	1h 13m 0s

Provide feedback