Espruino .hex file for nRF52 DevKit

Hi,
is there a source where I can find .hex-files to flash the nRF52 DevKit?
I have tried an old hex file provided here: https://devzone.nordicsemi.com/blogs/980/espruino-program-nrf5-devices-in-javascript-see-th/
but there seems to have been done changes in the API, and I receive only errors when trying to use the BLE functionality with examples, found here: http://www.espruino.com/Reference#t_NRF
I've tried several times following the build procedure provided here (Linux under Mac with VM): https://github.com/espruino/Espruino/blob/master/README_Building.md
but not being familiar at all with Linux it all crashes at some stage in the endless download of dependencies.

So, if there is some place to download pre-built hex files for the nRF52, such as this one for other boards: http://www.espruino.com/binaries/git/commits/master/
that would be great news.

Hi,

There are the automatic builds from travis here: http://www.espruino.com/binaries/travis/master/

I've just added NRF52832DK to it, so in a few minutes they should be done - you can check status here: https://travis-ci.org/espruino/Espruino/builds/171401291

Note that those will also be different from the online reference too, because they're newer. If you did get Espruino itself on a Linux PC (no need to install the ARM tools) you can run scripts/build_docs.py to create functions.html which will contain everything you need though.

Thanks a lot, Gordon, much appreciated!