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?p=ci-management.git;a=commitdiff_plain;h=b432033fa3887427024fd0ada1dc80f8470896f0 Merge "Clean the docker images after CI build." --- b432033fa3887427024fd0ada1dc80f8470896f0