diff options
Diffstat (limited to 'ci/Containerfile')
-rw-r--r-- | ci/Containerfile | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/ci/Containerfile b/ci/Containerfile index 7998c8653..3cc99cb77 100644 --- a/ci/Containerfile +++ b/ci/Containerfile @@ -7,7 +7,9 @@ RUN apt-get update -yqq && \ autoconf \ autopoint \ curl \ + doxygen \ git \ + jq \ libcurl4-gnutls-dev \ libgcrypt-dev \ libidn11-dev \ @@ -53,10 +55,6 @@ RUN cat /etc/apt/preferences.d/taler && \ RUN pip3 install --break-system-packages htmlark -RUN apt-get update -yqq && \ - apt-get install -yqq \ - doxygen - WORKDIR /workdir CMD ["bash", "/workdir/ci/ci.sh"] |