.github: fix reported #634

Job	Run time
build (stm32f7, chibios, 10)	24m 30s
build (stm32h7, chibios, 10)	24m 48s
build (fmuv2-plane, chibios, 10)	10m 10s
build (periph-build, chibios, 10)	26m 15s
build (iofirmware, chibios, 10)	2m 50s
build (CubeOrange-bootloader, chibios, 10)	1m 27s
build (fmuv3-bootloader, chibios, 10)	1m 42s
build (revo-bootloader, chibios, 10)	1m 21s
build (stm32h7-debug, chibios, 10)	11m 21s
build (fmuv3, chibios, 10)	18m 59s
build (revo-mini, chibios, 10)	15m 1s
build (MatekF405-Wing, chibios, 10)	17m 55s
build (CubeOrange-ODID, chibios, 10)	11m 28s
build (CubeRedPrimary-bootloader, chibios, 10)	1m 15s
build (configure-all, chibios, 10)	11m 30s
build (build-options-defaults-test, chibios, 10)	39m 5s
build (signing, chibios, 10)	16m 22s
	3h 55m 59s

Provide feedback