diff options
Diffstat (limited to '.github/workflows/build-artifacts-manual.yml')
| -rw-r--r-- | .github/workflows/build-artifacts-manual.yml | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/build-artifacts-manual.yml b/.github/workflows/build-artifacts-manual.yml index 0517cb30..7faff7f5 100644 --- a/.github/workflows/build-artifacts-manual.yml +++ b/.github/workflows/build-artifacts-manual.yml @@ -68,6 +68,14 @@ jobs: with: version: 0.15.2 + - name: Prefer official Ubuntu mirrors over Azure + run: | + if [ -f /etc/apt/apt-mirrors.txt ]; then + sudo sed -i '/azure.archive.ubuntu.com/d' /etc/apt/apt-mirrors.txt + echo "Using apt mirrors:" + cat /etc/apt/apt-mirrors.txt + fi + - name: Install Linux build tools run: sudo apt-get update && sudo apt-get install -y cmake ninja-build musl-tools gcc-aarch64-linux-gnu crossbuild-essential-arm64 |