Yes, this is something that would need fixing on the build website (I think @ganehag runs it?). But also I think the builds are actually wrong anyway (as they need to have the bootloader merged in for the Espruino boards (there's a special script for it), and I don't think it used for those ones).
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.
Yes, this is something that would need fixing on the build website (I think @ganehag runs it?). But also I think the builds are actually wrong anyway (as they need to have the bootloader merged in for the Espruino boards (there's a special script for it), and I don't think it used for those ones).
I need to get a proper Espruino nightly up and running though, with benchmarking for each commit - it's on my list: https://github.com/espruino/Espruino/issues/81