In the reference manual for the ESP32-C3, the strapping pins are as follows:  It looks like GPIO2 should be pulled up, but this board appears to not do so. Is this intentional?