As @countxerox and @allObjects have said, it's about 20mA per pin - but it varies depending on the chip so it's best to look in the datasheet - where there's loads of in-depth info about the pins (some are different to others)
Espruino is a JavaScript interpreter for low-power Microcontrollers. This site is both a support community for Espruino and a place to share what you are working on.
As @countxerox and @allObjects have said, it's about 20mA per pin - but it varies depending on the chip so it's best to look in the datasheet - where there's loads of in-depth info about the pins (some are different to others)