RPI_PICO_TimerInterrupt - compatibility matrix

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

RPI_PICO_TimerInterrupt

Version: 1.2.0
More details

Compatibility matrix

Board Claims compatibility Inclusion 
ISR_16_Timers_Array_Complex
 
RPM_Measure
 
SwitchDebounce
 
TimerInterruptTest
 
Argument_Complex
 
Argument_None
 
Argument_Simple
 
Change_Interval
 
ISR_Timers_Array_Simple
 
multiFileProject
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 		No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL
arduino:megaavr:nona4809
1.8.7 		No FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL FAIL
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 

In file included from /tmp/arduino-testlib657476603/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /tmp/arduino-testlib657476603/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_Timers_Array_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/RPM_Measure

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL 

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

arduino:mbed_nano:nanorp2040connect @ 2.7.2

Inclusion

Result: FAIL 

In file included from /tmp/arduino-testlib1860257833/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /tmp/arduino-testlib1860257833/test/test.ino:1:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/Argument_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/Argument_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/ISR_Timers_Array_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/RPM_Measure

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/data/packages/arduino/hardware/mbed_nano/2.7.2/cores/arduino/mbed/targets/TARGET_RASPBERRYPI/TARGET_RP2040/pico-sdk/common/pico_stdlib/include/pico/stdlib.h:11:10: fatal error: pico/stdio.h: No such file or directory
 #include "pico/stdio.h"
          ^~~~~~~~~~~~~~
compilation terminated.

arduino:megaavr:nona4809 @ 1.8.7

Inclusion

Result: FAIL 

In file included from /tmp/arduino-testlib1860257833/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /tmp/arduino-testlib1860257833/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_Timers_Array_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/RPM_Measure

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL 

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

arduino:samd:mkrwifi1010 @ 1.8.12

Inclusion

Result: FAIL 

In file included from /tmp/arduino-testlib657476603/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /tmp/arduino-testlib657476603/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_None

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Argument_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/Change_Interval

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/ISR_Timers_Array_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/RPM_Measure

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/SwitchDebounce

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/TimerInterruptTest

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

examples/multiFileProject

Result: FAIL 

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^~~~~
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:10: fatal error: pico/stdlib.h: No such file or directory
 #include "pico/stdlib.h"
          ^~~~~~~~~~~~~~~
compilation terminated.

esp32:esp32:d1_mini32 @ 1.0.6

Inclusion

Result: FAIL 

In file included from /tmp/arduino-testlib2943845782/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /tmp/arduino-testlib2943845782/test/test.ino:1:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/Argument_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Complex/Argument_Complex.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/Argument_None

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_None/Argument_None.ino:43:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/Argument_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Argument_Simple/Argument_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/Change_Interval

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/Change_Interval/Change_Interval.ino:42:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/ISR_16_Timers_Array_Complex

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_16_Timers_Array_Complex/ISR_16_Timers_Array_Complex.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/ISR_Timers_Array_Simple

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/ISR_Timers_Array_Simple/ISR_Timers_Array_Simple.ino:30:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/RPM_Measure

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/RPM_Measure/RPM_Measure.ino:50:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/SwitchDebounce

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/SwitchDebounce/SwitchDebounce.ino:47:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/TimerInterruptTest

Result: FAIL 

In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/TimerInterruptTest/TimerInterruptTest.ino:41:0:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.

examples/multiFileProject

Result: FAIL 

/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:19:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:51:4: error: #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
   #error This code is intended to run on the non-mbed RP2040 arduino-pico platform! Please check your Tools->Board setting.
    ^
In file included from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.h:22:0,
                 from /home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/examples/multiFileProject/multiFileProject.ino:22:
/home/ec2-user/arduino-testlib/cli-datadir/user/libraries/RPI_PICO_TimerInterrupt/src/RPi_Pico_TimerInterrupt.h:71:25: fatal error: pico/stdlib.h: No such file or directory
compilation terminated.