ESP32TimerInterrupt - compatibility matrix

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

ESP32TimerInterrupt

Version: 2.0.0
More details

Compatibility matrix

Board Claims compatibility Inclusion
ISR_16_Timers_Array_Complex
RPM_Measure
SwitchDebounce
TimerInterruptTest
multiFileProject
Argument_None
Change_Interval
ISR_16_Timers_Array
arduino:avr:uno
1.8.4
No 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
arduino:megaavr:nona4809
1.8.7
No 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
esp32:esp32:d1_mini32
1.0.6
Yes ⚠️ FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL

Compilation logs

arduino:avr:uno @ 1.8.4

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /tmp/arduino-testlib2869669860/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /tmp/arduino-testlib2869669860/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:38:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:38:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:54:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:61:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:61:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:45:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/RPM_Measure

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:46:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:43:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:37:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:14:4: error: #error This code is designed to run on ESP32 platform, not Arduino nor ESP8266! Please check your Tools->Board setting.
   #error This code is designed to run on ESP32 platform, not Arduino nor ESP8266! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

arduino:mbed_nano:nanorp2040connect @ 2.7.2

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /tmp/arduino-testlib1620443886/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /tmp/arduino-testlib1620443886/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:38:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:38:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:54:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:61:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:61:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:45:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/RPM_Measure

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:46:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:43:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:37:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:14:4: error: #error This code is designed to run on ESP32 platform, not Arduino nor ESP8266! Please check your Tools->Board setting.
   #error This code is designed to run on ESP32 platform, not Arduino nor ESP8266! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

arduino:megaavr:nona4809 @ 1.8.7

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /tmp/arduino-testlib1620443886/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /tmp/arduino-testlib1620443886/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:38:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:38:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:54:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:61:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:61:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:45:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/RPM_Measure

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:46:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:43:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:37:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:14:4: error: #error This code is designed to run on ESP32 platform, not Arduino nor ESP8266! Please check your Tools->Board setting.
   #error This code is designed to run on ESP32 platform, not Arduino nor ESP8266! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

arduino:samd:mkrwifi1010 @ 1.8.12

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /tmp/arduino-testlib2869669860/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /tmp/arduino-testlib2869669860/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:38:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:38:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:54:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:61:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:61:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:45:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/RPM_Measure

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:46:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:43:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:37:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:14:4: error: #error This code is designed to run on ESP32 platform, not Arduino nor ESP8266! Please check your Tools->Board setting.
   #error This code is designed to run on ESP32 platform, not Arduino nor ESP8266! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:67:4: error: #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
   #error This code is intended to run on the ESP32 platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:94:10: fatal error: driver/timer.h: No such file or directory
 #include <driver/timer.h>
          ^~~~~~~~~~~~~~~~
compilation terminated.

esp32:esp32:d1_mini32 @ 1.0.6

Inclusion

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /tmp/arduino-testlib2781804229/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'bool ESP32TimerInterrupt::setFrequency(const float&, esp32_timer_callback)':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:329:100: error: 'timer_isr_callback_add' was not declared in this scope
         timer_isr_callback_add(_timerGroup, _timerIndex, _callback, (void *) (uint32_t) _timerNo, 0);
                                                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::detachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::disableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::reattachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::enableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^

examples/Argument_None

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'bool ESP32TimerInterrupt::setFrequency(const float&, esp32_timer_callback)':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:329:100: error: 'timer_isr_callback_add' was not declared in this scope
         timer_isr_callback_add(_timerGroup, _timerIndex, _callback, (void *) (uint32_t) _timerNo, 0);
                                                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::detachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::disableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::reattachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::enableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^

examples/Change_Interval

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/Change_Interval/Change_Interval.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'bool ESP32TimerInterrupt::setFrequency(const float&, esp32_timer_callback)':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:329:100: error: 'timer_isr_callback_add' was not declared in this scope
         timer_isr_callback_add(_timerGroup, _timerIndex, _callback, (void *) (uint32_t) _timerNo, 0);
                                                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::detachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::disableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::reattachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::enableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^

examples/ISR_16_Timers_Array

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:61:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'bool ESP32TimerInterrupt::setFrequency(const float&, esp32_timer_callback)':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:329:100: error: 'timer_isr_callback_add' was not declared in this scope
         timer_isr_callback_add(_timerGroup, _timerIndex, _callback, (void *) (uint32_t) _timerNo, 0);
                                                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::detachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::disableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::reattachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::enableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino: In function 'void setup()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:258:71: error: no matching function for call to 'SimpleTimer::setInterval(long int, void (&)())'
   simpleTimer.setInterval(SIMPLE_TIMER_MS, simpleTimerDoingSomething2s);
                                                                       ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:63:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/SimpleTimer/SimpleTimer.h:23:10: note: candidate: void SimpleTimer::setInterval(uint64_t)
     void setInterval(uint64_t interval);
          ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/SimpleTimer/SimpleTimer.h:23:10: note:   candidate expects 1 argument, 2 provided
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array/ISR_16_Timers_Array.ino:273:15: error: 'class SimpleTimer' has no member named 'run'
   simpleTimer.run();
               ^

examples/ISR_16_Timers_Array_Complex

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:52:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'bool ESP32TimerInterrupt::setFrequency(const float&, esp32_timer_callback)':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:329:100: error: 'timer_isr_callback_add' was not declared in this scope
         timer_isr_callback_add(_timerGroup, _timerIndex, _callback, (void *) (uint32_t) _timerNo, 0);
                                                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::detachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::disableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::reattachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::enableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino: In function 'void setup()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:354:71: error: no matching function for call to 'SimpleTimer::setInterval(long int, void (&)())'
   simpleTimer.setInterval(SIMPLE_TIMER_MS, simpleTimerDoingSomething2s);
                                                                       ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:54:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/SimpleTimer/SimpleTimer.h:23:10: note: candidate: void SimpleTimer::setInterval(uint64_t)
     void setInterval(uint64_t interval);
          ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/SimpleTimer/SimpleTimer.h:23:10: note:   candidate expects 1 argument, 2 provided
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:369:15: error: 'class SimpleTimer' has no member named 'run'
   simpleTimer.run();
               ^

examples/RPM_Measure

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:57:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'bool ESP32TimerInterrupt::setFrequency(const float&, esp32_timer_callback)':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:329:100: error: 'timer_isr_callback_add' was not declared in this scope
         timer_isr_callback_add(_timerGroup, _timerIndex, _callback, (void *) (uint32_t) _timerNo, 0);
                                                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::detachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::disableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::reattachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::enableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^

examples/SwitchDebounce

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'bool ESP32TimerInterrupt::setFrequency(const float&, esp32_timer_callback)':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:329:100: error: 'timer_isr_callback_add' was not declared in this scope
         timer_isr_callback_add(_timerGroup, _timerIndex, _callback, (void *) (uint32_t) _timerNo, 0);
                                                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::detachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::disableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::reattachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::enableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^

examples/TimerInterruptTest

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.h:55:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'bool ESP32TimerInterrupt::setFrequency(const float&, esp32_timer_callback)':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:329:100: error: 'timer_isr_callback_add' was not declared in this scope
         timer_isr_callback_add(_timerGroup, _timerIndex, _callback, (void *) (uint32_t) _timerNo, 0);
                                                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::detachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::disableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::reattachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::enableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^

examples/multiFileProject

Result: FAIL

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/examples/multiFileProject/multiFileProject.cpp:13:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'bool ESP32TimerInterrupt::setFrequency(const float&, esp32_timer_callback)':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:329:100: error: 'timer_isr_callback_add' was not declared in this scope
         timer_isr_callback_add(_timerGroup, _timerIndex, _callback, (void *) (uint32_t) _timerNo, 0);
                                                                                                    ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::detachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:371:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::disableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:66: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:380:82: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_disable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                  ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::reattachInterrupt()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:390:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp: In member function 'void ESP32TimerInterrupt::enableTimer()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:65: error: 'TIMER_INTR_T0' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                 ^
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/ESP32TimerInterrupt/src/ESP32TimerInterrupt.hpp:400:81: error: 'TIMER_INTR_T1' was not declared in this scope
       timer_group_intr_enable(_timerGroup, (_timerIndex == 0) ? TIMER_INTR_T0 : TIMER_INTR_T1);
                                                                                 ^