Changing SPI pins RP2040

Are you using the ArduinoCore-mbed or Arduino-Pico in your platformio.ini?

For ArduinoCore-mbed see

(You would need to construct a new SPI object and pass it into the RadioHead lib for it to use it).

For Arduino-Pico see

(You can simply call SPI.setSCK(xxx); etc to change all pins.)