The maker of sea-picro said that using zmk with sparkfun_pro_micro_rp2040 should work since it has the same pinout.
I've been successfully flashing in qmk, but after flashing using zmk I can't list any new usb devices using lsusb nor dmesg. (I've always flashed by manually moving the uf2 file to the storage device that appears after resetting the microcontroller)
On the local install I ran using root (and rebooted after install)
cp ./60-openocd.rules /etc/udev/rules.d
udevadm control --reload
According to https://zmk.dev/docs/troubleshooting/flashing-issues
Verification of a functional board can be done by attempting to pair your newly flashed keyboard to your computer via Bluetooth or plugging in a USB cable if ZMK_USB is enabled in your Kconfig.defconfig
Since my keyboard is wired only I went ahead edited zmk/app/boards/shields/cradio/Kconfig.defconfig
config ZMK_USB default y
which didn't build the uf2 file (https://discord.com/channels/719497620560543766/1363728687354351738), so I undid this edit and added -DCONFIG_ZMK_USB=y and that's probably also not how this is supposed to be done.