MBED_RPI_PICO_TimerInterrupt - compatibility matrix

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

MBED_RPI_PICO_TimerInterrupt

Version: 1.1.0
More details

Compatibility matrix

Board Claims compatibility Inclusion
SwitchDebounce
Argument_Complex
Argument_None
Argument_Simple
ISR_16_Timers_Array_Complex
multiFileProject
50ms_HWTimer
Change_Interval
ISR_Timers_Array_Simple
TimerInterruptTest
arduino:avr:uno
1.8.4
No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL
arduino:mbed_nano:nanorp2040connect
2.7.2
Yes PASS PASS PASS PASS PASS FAIL PASS PASS PASS FAIL PASS
arduino:megaavr:nona4809
1.8.7
No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL
arduino:samd:mkrwifi1010
1.8.12
No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL
esp32:esp32:d1_mini32
1.0.6
No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL

Compilation logs

arduino:avr:uno @ 1.8.4

Inclusion

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

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /tmp/arduino-testlib3066972923/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /tmp/arduino-testlib3066972923/test/test.ino:3:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/50ms_HWTimer

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/50ms_HWTimer/50ms_HWTimer.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/50ms_HWTimer/50ms_HWTimer.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_Complex

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_None

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_Simple

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Change_Interval

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_16_Timers_Array_Complex

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:45:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:53:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_Timers_Array_Simple

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:37:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/SwitchDebounce

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:43:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/TimerInterruptTest

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:37:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/multiFileProject

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on avr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:24:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

arduino:mbed_nano:nanorp2040connect @ 2.7.2

Inclusion

Result: PASS

Sketch uses 78756 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 43444 bytes (16%) of dynamic memory, leaving 226892 bytes for local variables. Maximum is 270336 bytes.

examples/50ms_HWTimer

Result: PASS

Sketch uses 82042 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 43540 bytes (16%) of dynamic memory, leaving 226796 bytes for local variables. Maximum is 270336 bytes.

examples/Argument_Complex

Result: PASS

Sketch uses 81888 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 43540 bytes (16%) of dynamic memory, leaving 226796 bytes for local variables. Maximum is 270336 bytes.

examples/Argument_None

Result: PASS

Sketch uses 81972 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 43536 bytes (16%) of dynamic memory, leaving 226800 bytes for local variables. Maximum is 270336 bytes.

examples/Argument_Simple

Result: PASS

Sketch uses 81996 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 43536 bytes (16%) of dynamic memory, leaving 226800 bytes for local variables. Maximum is 270336 bytes.

examples/Change_Interval

Result: PASS

Sketch uses 82458 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 43560 bytes (16%) of dynamic memory, leaving 226776 bytes for local variables. Maximum is 270336 bytes.

examples/ISR_16_Timers_Array_Complex

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/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/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:364: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/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:58: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/MBED_RPI_PICO_TimerInterrupt/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/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:379:15: error: 'class SimpleTimer' has no member named 'run'
   simpleTimer.run();
               ^~~

examples/ISR_Timers_Array_Simple

Result: FAIL

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino: In function 'void setup()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:161: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/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:39: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/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino: In function 'void loop()':
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:176:15: error: 'class SimpleTimer' has no member named 'run'
   simpleTimer.run();
               ^~~

examples/SwitchDebounce

Result: PASS

Sketch uses 82282 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 43548 bytes (16%) of dynamic memory, leaving 226788 bytes for local variables. Maximum is 270336 bytes.

examples/TimerInterruptTest

Result: PASS

Sketch uses 82254 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 43548 bytes (16%) of dynamic memory, leaving 226788 bytes for local variables. Maximum is 270336 bytes.

examples/multiFileProject

Result: PASS

Sketch uses 78756 bytes (0%) of program storage space. Maximum is 16777216 bytes.
Global variables use 43444 bytes (16%) of dynamic memory, leaving 226892 bytes for local variables. Maximum is 270336 bytes.

arduino:megaavr:nona4809 @ 1.8.7

Inclusion

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /tmp/arduino-testlib2137163847/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /tmp/arduino-testlib2137163847/test/test.ino:3:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/50ms_HWTimer

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/50ms_HWTimer/50ms_HWTimer.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/50ms_HWTimer/50ms_HWTimer.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_Complex

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_None

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_Simple

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Change_Interval

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_16_Timers_Array_Complex

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:45:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:53:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_Timers_Array_Simple

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:37:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/SwitchDebounce

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:43:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/TimerInterruptTest

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:37:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/multiFileProject

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on megaavr architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:24:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

arduino:samd:mkrwifi1010 @ 1.8.12

Inclusion

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

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /tmp/arduino-testlib3066972923/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /tmp/arduino-testlib3066972923/test/test.ino:3:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/50ms_HWTimer

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/50ms_HWTimer/50ms_HWTimer.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/50ms_HWTimer/50ms_HWTimer.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_Complex

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_None

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Argument_Simple

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/Change_Interval

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_16_Timers_Array_Complex

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:45:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:53:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/ISR_Timers_Array_Simple

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:37:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/SwitchDebounce

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:43:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/TimerInterruptTest

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:37:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

examples/multiFileProject

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on samd architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:24:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^~~~~

esp32:esp32:d1_mini32 @ 1.0.6

Inclusion

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /tmp/arduino-testlib3524852989/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /tmp/arduino-testlib3524852989/test/test.ino:3:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/50ms_HWTimer

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/50ms_HWTimer/50ms_HWTimer.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/50ms_HWTimer/50ms_HWTimer.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/Argument_Complex

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/Argument_None

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/Argument_Simple

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/Change_Interval

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:38:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:46:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/ISR_16_Timers_Array_Complex

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:45:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:53:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:56:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/ISR_Timers_Array_Simple

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:26:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:34:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.h:42:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:37:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/SwitchDebounce

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:43:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:51:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/TimerInterruptTest

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:37:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.h:43:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:45:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^

examples/multiFileProject

Result: FAIL

WARNING: library MBED_RPI_PICO_TimerInterrupt claims to run on mbed, mbed_nano, mbed_rp2040 architecture(s) and may be incompatible with your current board which runs on esp32 architecture(s).
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:21:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_TimerInterrupt.hpp:47:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:24:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:25:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/MBED_RPI_PICO_TimerInterrupt/src/MBED_RPi_Pico_ISR_Timer.hpp:46:4: error: #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
   #error This code is intended to run on the MBED RASPBERRY_PI_PICO platform! Please check your Tools->Board setting.
    ^