tree 68dd109a912e8d6a0f63c3c2de60b2bf4f22f7f8
parent dbfc36122c14d8eb8961b9885beb411ffdada18d
author Luca Milanesio <luca.milanesio@gmail.com> 1480802962 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1480977181 +0000

Rebuild docker images daily

Every docker image is built using the latest definitions
of the dependent Dockerfiles, including latest patches
and software versions of the build tools.

Having a daily fresh build helps in getting early
patches and up-to-date tools and dependencies.

Change-Id: I4ee6d6e6fb04689acc8d59f65046451e452b9149