Teensy_TimerInterrupt - compatibility matrix

This report was generated on Wednesday, 23-Feb-22 22:48:15 CET using arduino-testlib.

Teensy_TimerInterrupt

Version: 1.3.0
More details

Compatibility matrix

Board Claims compatibility Inclusion 
TimerInterruptTest
 
Argument_None
 
Change_Interval
 
ISR_16_Timers_Array_Complex
 
RPM_Measure
 
TimerInterruptLEDDemo
 
multiFileProject
 
ISR_16_Timers_Array
 
ISR_RPM_Measure
 
ISR_Timer_Complex
 
SwitchDebounce
arduino:avr:uno
1.8.4 		No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL
arduino:mbed_nano:nanorp2040connect
2.7.2 		No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL
arduino:megaavr:nona4809
1.8.7 		No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL
arduino:samd:mkrwifi1010
1.8.12 		No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL
esp32:esp32:d1_mini32
1.0.6 		No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL

Compilation logs

arduino:avr:uno @ 1.8.4

Inclusion

Result: FAIL
This library has no main header file so an empty one was created. 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /tmp/arduino-testlib3921733117/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /tmp/arduino-testlib3921733117/test/test.ino:3:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_None

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/Change_Interval

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_16_Timers_Array

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:50:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:38:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:49:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_Timer_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:46:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/SwitchDebounce

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/TimerInterruptLEDDemo

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:55:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/TimerInterruptTest

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/multiFileProject

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:24:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

arduino:mbed_nano:nanorp2040connect @ 2.7.2

Inclusion

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /tmp/arduino-testlib3758635737/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /tmp/arduino-testlib3758635737/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /tmp/arduino-testlib3758635737/test/test.ino:3:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_None

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/Change_Interval

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/ISR_16_Timers_Array

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:50:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:38:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:49:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:49:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/ISR_Timer_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:46:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/SwitchDebounce

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/TimerInterruptLEDDemo

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:55:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/TimerInterruptTest

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/multiFileProject

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on mbed_nano architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:24:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

arduino:megaavr:nona4809 @ 1.8.7

Inclusion

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /tmp/arduino-testlib3758635737/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /tmp/arduino-testlib3758635737/test/test.ino:3:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_None

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/Change_Interval

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_16_Timers_Array

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:50:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:38:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:49:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_Timer_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:46:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/SwitchDebounce

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/TimerInterruptLEDDemo

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:55:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/TimerInterruptTest

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/multiFileProject

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:24:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

arduino:samd:mkrwifi1010 @ 1.8.12

Inclusion

Result: FAIL
This library has no main header file so an empty one was created. 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /tmp/arduino-testlib3921733117/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /tmp/arduino-testlib3921733117/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /tmp/arduino-testlib3921733117/test/test.ino:3:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_None

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/Change_Interval

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/ISR_16_Timers_Array

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:50:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:38:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:49:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:49:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/ISR_Timer_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:46:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/SwitchDebounce

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/TimerInterruptLEDDemo

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:55:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

examples/TimerInterruptTest

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~

examples/multiFileProject

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:24:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^~~~~

esp32:esp32:d1_mini32 @ 1.0.6

Inclusion

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /tmp/arduino-testlib3758635737/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /tmp/arduino-testlib3758635737/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /tmp/arduino-testlib3758635737/test/test.ino:3:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^

examples/Argument_None

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Argument_None/Argument_None.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^

examples/Change_Interval

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:29:3: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
  #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^

examples/ISR_16_Timers_Array

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:36:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:50:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^

examples/ISR_RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:38:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:49:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_RPM_Measure/ISR_RPM_Measure.ino:49:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^

examples/ISR_Timer_Complex

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:45:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/ISR_Timer_Complex/ISR_Timer_Complex.ino:59:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^

examples/RPM_Measure

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:46:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^

examples/SwitchDebounce

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:34:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^

examples/TimerInterruptLEDDemo

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:29:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptLEDDemo/TimerInterruptLEDDemo.ino:55:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^

examples/TimerInterruptTest

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:28:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.h:38:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:40:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^

examples/multiFileProject

Result: FAIL 

WARNING: library Teensy_TimerInterrupt claims to run on teensy architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/TeensyTimerInterrupt.hpp:1075:4: error: #error Not support board
   #error Not support board
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.h:24:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/Teensy_TimerInterrupt/src/Teensy_ISR_Timer.hpp:39:4: error: #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
   #error This code is designed to run on Teensy platform! Please check your Tools->Board setting.
    ^