CI: Use mirror repo for Ubuntu ARM (#5652)

* CI: Use Azure repos for Ubuntu

* CI: Use mirror repo for Ubuntu ARM

* Fix Ubuntu 22.04 image

* Fix Emscripten image

* Trigger rebuild

* Trigger rebuild

* Fix tests

Author: oitel

.github/workflows/test-distribution.yml

@@ -155,6 +155,9 @@ jobs:
 
       - name: Install GitHub CLI
         run: |
+          # official Ubuntu ARM repo might be very slow
+          sed -i 's http://ports.ubuntu.com/ubuntu-ports/ http://mirror.eu.ossplanet.net/ubuntu-ports/ ' /etc/apt/sources.list.d/ubuntu.sources || true
+          sed -i 's http://ports.ubuntu.com/ubuntu-ports/ http://mirror.eu.ossplanet.net/ubuntu-ports/ ' /etc/apt/sources.list || true
           apt-get update && apt-get install -y curl sudo
           curl -fsSL https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo dd of=/usr/share/keyrings/githubcli-archive-keyring.gpg
           chmod go+r /usr/share/keyrings/githubcli-archive-keyring.gpg

docker/emscriptenDockerfile

@@ -6,6 +6,7 @@ RUN export DEBIAN_FRONTEND=noninteractive; \
     export DEBCONF_NONINTERACTIVE_SEEN=true; \
     echo 'tzdata tzdata/Areas select Etc' | debconf-set-selections; \
     echo 'tzdata tzdata/Zones/Etc select UTC' | debconf-set-selections; \
+    sed -i 's http://ports.ubuntu.com/ubuntu-ports/ http://mirror.eu.ossplanet.net/ubuntu-ports/ ' /etc/apt/sources.list; \
     apt-get update -qqy \
  && apt-get install -qqy --no-install-recommends gpg-agent software-properties-common \
  && echo '\

docker/ubuntu22Dockerfile

@@ -5,6 +5,7 @@ RUN export DEBIAN_FRONTEND=noninteractive; \
     export DEBCONF_NONINTERACTIVE_SEEN=true; \
     echo 'tzdata tzdata/Areas select Etc' | debconf-set-selections; \
     echo 'tzdata tzdata/Zones/Etc select UTC' | debconf-set-selections; \
+    sed -i 's http://ports.ubuntu.com/ubuntu-ports/ http://mirror.eu.ossplanet.net/ubuntu-ports/ ' /etc/apt/sources.list; \
     apt-get update -qqy \
  && apt-get install -qqy --no-install-recommends \
         tzdata git sudo time ninja-build \
@@ -51,6 +52,7 @@ RUN export DEBIAN_FRONTEND=noninteractive; \
     export DEBCONF_NONINTERACTIVE_SEEN=true; \
     echo 'tzdata tzdata/Areas select Etc' | debconf-set-selections; \
     echo 'tzdata tzdata/Zones/Etc select UTC' | debconf-set-selections; \
+    sed -i 's http://ports.ubuntu.com/ubuntu-ports/ http://mirror.eu.ossplanet.net/ubuntu-ports/ ' /etc/apt/sources.list; \
     apt-get update -qqy \
  && apt-get install -qqy --no-install-recommends \
         tzdata git sudo time xvfb curl wget unzip ninja-build patchelf \

docker/ubuntu24Dockerfile

@@ -6,6 +6,7 @@ RUN export DEBIAN_FRONTEND=noninteractive; \
     export DEBCONF_NONINTERACTIVE_SEEN=true; \
     echo 'tzdata tzdata/Areas select Etc' | debconf-set-selections; \
     echo 'tzdata tzdata/Zones/Etc select UTC' | debconf-set-selections; \
+    sed -i 's http://ports.ubuntu.com/ubuntu-ports/ http://mirror.eu.ossplanet.net/ubuntu-ports/ ' /etc/apt/sources.list.d/ubuntu.sources; \
     apt-get update -qqy \
  && apt-get install -qqy --no-install-recommends \
         tzdata git sudo time ninja-build \
@@ -60,6 +61,7 @@ RUN export DEBIAN_FRONTEND=noninteractive; \
     export DEBCONF_NONINTERACTIVE_SEEN=true; \
     echo 'tzdata tzdata/Areas select Etc' | debconf-set-selections; \
     echo 'tzdata tzdata/Zones/Etc select UTC' | debconf-set-selections; \
+    sed -i 's http://ports.ubuntu.com/ubuntu-ports/ http://mirror.eu.ossplanet.net/ubuntu-ports/ ' /etc/apt/sources.list.d/ubuntu.sources; \
     apt-get update -qqy \
  && apt-get install -qqy --no-install-recommends \
         tzdata git sudo time xvfb curl wget unzip ninja-build patchelf \