SEEED XIAO RP2040 uploads, but does not run

Other Hardware 3rd Party Boards
6

I interpret it as one of the many errors you will find in the Seeed Studio documentation.

I just tried it on my XIAO RP2040 and the sketch outputs to the USB CDC serial port of the board as expected.