commit f394105aa46f48f641e273cbf7e82d2722c84624
parent c97a1e3e68002315733af0f4d0d679c3de533fef
Author: Christian Grothoff <christian@grothoff.org>
Date: Sun, 18 Feb 2024 22:50:05 +0100
-remove unnecessary tools
Diffstat:
1 file changed, 1 insertion(+), 4 deletions(-)
diff --git a/contrib/ci/Containerfile b/contrib/ci/Containerfile
@@ -10,16 +10,13 @@ RUN apt-get update -yqq && \
make \
git \
python3-distutils \
- curl \
- wget \
po-debconf \
build-essential \
debhelper-compat \
devscripts \
git-buildpackage \
postgresql \
- sudo \
- jq
+ sudo
# Note: not sure if we need curl/wget/jq at all!