CI: unified VM scripting for option management

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
This commit is contained in:
Raphael Defosseux
2018-11-07 17:57:01 +01:00
parent bf85f18008
commit 44fe00d018
9 changed files with 1972 additions and 2523 deletions
+543 -677
View File
File diff suppressed because it is too large Load Diff