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>
1 file changed
tree: d34a6d6a821784e02a024068fd4b4d9222c17d91
  1. .github/
  2. docker/
  3. testlist/
  4. cibuild.sh
  5. README.md
README.md

incubator-nuttx-testing