2024-07-10 19:45:52 +02:00
1 changed files with 1 additions and 0 deletions
--- a/.ci/image/Dockerfile
+++ b/.ci/image/Dockerfile
@ -37,6 +37,7 @@ RUN set -eux; \
    apt-get update; \
    apt-get install --no-install-recommends -y \
        build-essential \
+        cmake \
        curl \
        git \
        gpg \