[ci] Use non-default mirror of package repositories

Signed-off-by: Andreas Kurth <adk@lowrisc.org>
This commit is contained in:
Andreas Kurth 2025-05-30 12:01:25 +02:00
parent 125445f692
commit 9156029e77

View file

@ -25,6 +25,9 @@ if [ -z "$GITHUB_ACTIONS" ]; then
GITHUB_PATH=/dev/null
fi
# Use non-default mirror for Ubuntu packages, because the default mirror currently have problems.
$SUDO_CMD sed -i -E -e 's!http://(archive|security).ubuntu.com!http://europe-west2.gce.archive.ubuntu.com!g' /etc/apt/sources.list
case "$ID-$VERSION_ID" in
ubuntu-20.04|ubuntu-22.04)
# Curl must be available to get the repo key below.