diff options
Diffstat (limited to '.github/workflows/release.yml')
| -rw-r--r-- | .github/workflows/release.yml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index f08fe274..4d596b85 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -64,6 +64,15 @@ jobs: with: version: 0.15.2 + - name: Prefer official Ubuntu mirrors over Azure + if: runner.os == 'Linux' + 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 if: runner.os == 'Linux' run: sudo apt-get update && sudo apt-get install -y cmake ninja-build musl-tools gcc-aarch64-linux-gnu crossbuild-essential-arm64 |