From 7bb23b1e360e22a395eef75061565fc079ae6a85 Mon Sep 17 00:00:00 2001 From: Charles Schlosser Date: Tue, 31 Dec 2024 14:04:01 +0000 Subject: [PATCH] CI: don't add ToolChain PPA --- ci/scripts/common.linux.before_script.sh | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/ci/scripts/common.linux.before_script.sh b/ci/scripts/common.linux.before_script.sh index 9222a843e..509bffa9b 100644 --- a/ci/scripts/common.linux.before_script.sh +++ b/ci/scripts/common.linux.before_script.sh @@ -16,9 +16,7 @@ export | grep EIGEN # geographical region. export DEBIAN_FRONTEND=noninteractive apt-get update -y > /dev/null -apt-get install -y --no-install-recommends software-properties-common ninja-build cmake git > /dev/null -add-apt-repository -y ppa:ubuntu-toolchain-r/test > /dev/null -apt-get update -y > /dev/null +apt-get install -y --no-install-recommends ninja-build cmake git > /dev/null # Install required dependencies and set up compilers. # These are required even for testing to ensure that dynamic runtime libraries