build

Academy: build of ArduinoBLE driver #251

Job	Run time
build (esp8266:esp8266:nodemcuv2)	2m 36s
build (esp32:esp32:esp32:PartitionScheme=min_spiffs)	4m 47s
build (esp32:esp32:esp32s2)	5m 57s
build (esp32:esp32:esp32s3)	9m 8s
build (esp32:esp32:esp32c3)	6m 20s
build (esp32:esp32:esp32c6)	8m 49s
build (STM32:stm32:Nucleo_64)	2m 50s
build (STMicroelectronics:stm32:GenF1)	3m 9s
build (STMicroelectronics:stm32:GenWL)	3m 10s
build (raspberry)	59s
build (energia:cc13xx:LAUNCHXL_CC1310)	3m 28s
build (CubeCell:CubeCell:CubeCell-GPS)	3m 31s
build (CubeCell:CubeCell:CubeCell-Board-PRO)	3m 6s
build (adafruit:nrf52:pca10056)	4m 17s
build (arduino:samd:mzero_bl)	3m 22s
build (arduino:avr:mega)	36s
build (arduino:renesas_uno:minima)	3m 20s
build (arduino:renesas_uno:unor4wifi)	3m 42s
build (rp2040:rp2040:generic)	3m 41s
build (rp2040:rp2040:rpipicow)	5m 50s
	1h 22m 38s

Provide feedback