diff --git a/tools/.ci/Dockerfile b/tools/.ci/Dockerfile index c4d51a7915..b166f955b3 100644 --- a/tools/.ci/Dockerfile +++ b/tools/.ci/Dockerfile @@ -8,7 +8,7 @@ ENV DEBIAN_FRONTEND=noninteractive \ SOURCE=${SOURCE_BRANCH:-master} RUN apt-get -q update && apt-get install -qy --no-install-recommends \ curl git clang make build-essential cmake libssl-dev zlib1g-dev ca-certificates \ - libgmp-dev flex bison patch libzstd-dev unzip ninja-build pkg-config\ + libgmp-dev flex bison patch libzstd-dev unzip ninja-build pkg-config curl zip tar \ && ln -fs /usr/share/zoneinfo/Asia/Shanghai /etc/localtime \ && apt-get install -qy --no-install-recommends tzdata \ && dpkg-reconfigure --frontend noninteractive tzdata \