Which Arduino boards platform are you using to add support for the Pico to the Arduino IDE.
I know of two prominent ones:
- "Arduino Mbed OS RP2040 Boards" - this is the official one maintained by Arduino
- "Raspberry Pi RP2040 Boards" - this is a 3rd party community maintained platform