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-09 13:45:26 +01:00
parent 7c6a5ef288
commit 4edc42a4b7
9 changed files with 1939 additions and 2408 deletions
+552 -682
View File
File diff suppressed because it is too large Load Diff