Denis Rouzaud 1e11e1157a
simplify CI scripts (#9387)
by separating the testing and docker image building scripts
there was almost no redundany in the scripts, it is much clearer now
2019-03-05 17:38:04 +01:00
..
2019-03-05 17:38:04 +01:00