diff --git a/CI/Dockerfile b/CI/Dockerfile index a202d7a661eb29fe00d81a2709a529aed2e9165a..10319e3a49d001039928b5ebf7ab44d3e2a33b6d 100644 --- a/CI/Dockerfile +++ b/CI/Dockerfile @@ -15,6 +15,7 @@ RUN apt-get update -y \ curl \ make \ cmake \ + ninja-build \ g++ \ gcc \ clang \