Jenkins owns its own copy of the Arduino IDE. I added ESP8266 and ESP32 to it, and documented the process. Do the same for Teensyduino.