Mi è venuto un dubbio... ma i pin come li stai dichiarando?
Se ci fai attenzione, quello che viene identificato come D12 in realtà è il GPIO n° 47 etc etc.
Quindi se nello sketch usi 12 invece di 47 ovviamente non funziona...
Anche se la stessa cosa è vera per la scheda RP2040, quindi immagino tu ne abbia già tenuto conto.