From: Eric Ball Date: Tue, 22 Oct 2019 17:52:36 +0000 (+0000) Subject: Merge "Clean the docker images after CI build." X-Git-Url: https://gerrit.akraino.org/r/gitweb?a=commitdiff_plain;h=b432033fa3887427024fd0ada1dc80f8470896f0;hp=b432033fa3887427024fd0ada1dc80f8470896f0;p=ci-management.git Merge "Clean the docker images after CI build." ---