Sorted and managed to flash properly :)
By looking into the provisions.sh script, I was able to get the files from within the following archive:
...Maybe you could distribute them along with the official distribution package...
All of the bin files are in a tgz file for the next release
I put bootloader.bin,partitions_espruino.bin,espruino_1v92_esp32.bin in a zip file, you can use these files to flash espruino on your esp32.
I tried to follow the docs on how to flash an ESP32 board, and I read that from release 1v92 pre-built binaries should be available.
I downloaded the 1v92 release zip file and indeed I found an espruino_1v92_esp32.bin file. But what about the two other files: bootloader.bin and partitions_espruino.bin? Is there anywhere I can get those two files as well without having to manually build (I did try building the firmware but didn't go that well).
Thank you in advance,