From 130876722e979eacc99f0e4264bd656d13fb179c Mon Sep 17 00:00:00 2001 From: davwas Date: Tue, 16 Apr 2024 12:19:20 +0200 Subject: [PATCH] change package name --- scripts/ci/fetch.github.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/ci/fetch.github.sh b/scripts/ci/fetch.github.sh index a4702886..953110e7 100644 --- a/scripts/ci/fetch.github.sh +++ b/scripts/ci/fetch.github.sh @@ -25,7 +25,7 @@ set -e sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv B00A0BD1E2C63C11 echo "deb [ arch=amd64,arm64 ] https://repo.mongodb.org/apt/ubuntu jammy/mongodb-org/5.0 multiverse" | sudo tee /etc/apt/sources.list.d/mongodb.list sudo apt update -sudo apt install -y apt-transport-https ca-certificates curl git mongodb-org-tools +sudo apt install -y apt-transport-https ca-certificates curl git mongodb-database-tools if [[ -z "$BRANCH_NAME" ]]; then echo "Must provide BRANCH_NAME in environment"