Due to limitations in my compact PCB design, I can not draw a wire from VCC pin to DS3231 to power it up. But I can connect DS3231's Vcc pin to a GPIO pin of ESP32 (WROOM Module). Since according to datasheet, DS3231's max power consumption is below 1mA and ESP32 GPIO pins in source mode can supply up to 40mA, is it OK to power DS3231 from ESP32's GPIO pin?
ESP32-S3:

