Zahary Karadjov e9754cf69c More improvements to the docker build scripts
* Make the build deterministic by pinning it to a particular revision
* Add curl as a run-time dependency
* Use the improved Docker practices for the Nimbus build as well
2019-03-23 13:24:48 +02:00
..