From aa206e30ce1ed81da3390935b9ae030285722e90 Mon Sep 17 00:00:00 2001 From: Fabian Schiebel <52407375+fabianbs96@users.noreply.github.com> Date: Thu, 25 Apr 2024 18:53:53 +0200 Subject: [PATCH] Make the docker push pipeline work again --- utils/InstallAptDependencies.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/utils/InstallAptDependencies.sh b/utils/InstallAptDependencies.sh index f8d4f3a0a..8dba455bc 100755 --- a/utils/InstallAptDependencies.sh +++ b/utils/InstallAptDependencies.sh @@ -3,4 +3,4 @@ set -e sudo apt-get update sudo apt-get install git -y -sudo apt-get install zlib1g-dev python3 g++ ninja-build cmake -y +sudo apt-get install zlib1g-dev python3 python3-pip g++ ninja-build cmake -y