The latest RP2040 chip of pico has arduino IDE support, you just need to add the URL in the Preferences and search for pico in board manager, and thats it.
Raspberry Pi Pico board will be added to arduino IDE.
Here is the URL:
https://github.com/earlephilhower/ard...