Commit Graph
2 Commits
Author SHA1 Message Date
Raphael Defosseux 44fe00d018 CI: unified VM scripting for option management
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2018-11-07 17:57:01 +01:00
Raphael Defosseux d354ededf4 CI: optimization to build incrementally in time
Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2018-10-30 12:26:05 +01:00