2 Commits

Author SHA1 Message Date
Denis Rouzaud
60415a8eb9 also push build deps images when building final images
for Disco images, otherwise never pushed
2019-06-18 17:33:17 +02:00
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