System

(Issue Summary / Feature Request)

the teensy board developed by https://github.com/PaulStoffregen (http://www.pjrc.com/teensy/) is very popular and I would like to suggest it as a platform for your CI solution. It can be used with the Arduino IDE, however, it is NOT simply installed by the Arduino Board manager, but rather you need to install TeensyDuino next to the Arduino IDE. From then on it can be used just like any other boards.

So in order to add this to the CI flow, you would need to add the install TeensyDuino step after installing the Arduino SW.

Arduino Architecture(s) Affected

Teensy3.x
Teensy4.x