diff --git a/.ci/Debian13/Dockerfile b/.ci/Debian13/Dockerfile index b117d39f9..d7ab6ac86 100644 --- a/.ci/Debian13/Dockerfile +++ b/.ci/Debian13/Dockerfile @@ -3,6 +3,7 @@ FROM debian:13 RUN apt-get update && \ DEBIAN_FRONTEND=noninteractive apt-get install -y --no-install-recommends \ build-essential \ + ca-certificates \ ccache \ clang-format \ cmake \