CI: Don't use azure Ubuntu mirror.

strukturag · Feb 6, 2023 · 6096aa8 · 6096aa8
1 parent 4701529
commit 6096aa8
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/scripts/ci-before-install-linux.sh b/scripts/ci-before-install-linux.sh
@@ -85,6 +85,10 @@ if [ ! -z "$CMAKE" ]; then
         "
 fi
 
+# Workaround issues where the "azure.archive.ubuntu.com" mirror is not available
+# See https://github.com/actions/runner-images/issues/675
+sudo sed -i 's/azure\.//' /etc/apt/sources.list
+
 if [ ! -z "$UPDATE_APT" ]; then
     echo "Updating package lists ..."
     sudo apt-get update -qq