tree d34a6d6a821784e02a024068fd4b4d9222c17d91
parent 29f2116356451ee3430332df28b953f76da2d284
author YAMAMOTO Takashi <yamamoto@midokura.com> 1586406999 +0900
committer Brennan Ashton <bashton@brennanashton.com> 1586407392 -0700

Sync with the main repo

Namely, apply the following commit:

    commit c9be02d6285344b14e6ce9062f56656c18870560
    Author: liuhaitao <liuhaitao@xiaomi.com>
    Date:   Fri Apr 3 16:42:37 2020 +0800

        CI: remove the additional pull docker container step

        There is chance pull docker container failure in build jobs,
        remove the additional pull docker container step may make it
        more stable. Meanwhile, it also saves some time for build job.

        Signed-off-by: liuhaitao <liuhaitao@xiaomi.com>