That's a good thought! Is there a nice way of getting the files out of it? For builds on the main repo I do a push to our server, but that could be more of a pain to set up for someone else
© Espruino, powered by microcosm.
Report a problem