Commit Graph
2 Commits
Author SHA1 Message Date
Raphael Defosseux 4edc42a4b7 CI: unified VM scripting for option management
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2018-11-09 13:45:26 +01:00
Raphael Defosseux 519708b6ec CI: optimization to build incrementally in time
--- cherry-picked from develop-nr (d354ededf4)

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2018-11-05 11:03:14 +01:00