Install tools for dumping the database

DOMjudge · Oct 20, 2024 · 914a501 · 914a501
1 parent 55881c8
commit 914a501
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docker-gitlabci/Dockerfile b/docker-gitlabci/Dockerfile
@@ -11,7 +11,7 @@ RUN apt-get update && apt-get install -y \
   acl make zip unzip apache2-utils bsdmainutils libcurl4-gnutls-dev \
   libjsoncpp-dev libmagic-dev autoconf automake bats sudo debootstrap procps \
   gcc g++ default-jre-headless default-jdk-headless ghc fp-compiler libcgroup-dev \
-  devscripts shellcheck nginx libboost-regex-dev composer codespell \
+  devscripts shellcheck nginx libboost-regex-dev composer codespell pv \
   php8.3 php8.3-cli php8.3-gd php8.3-curl php8.3-mysql php8.3-gmp php8.3-zip php8.3-xml php8.3-mbstring php8.3-fpm php8.3-intl php8.3-pcov \
   # Submit client \
   python3-requests python3-magic \