fly316/PX4-Autopilot
7
0
Fork 0
mirror of https://gitee.com/mirrors_PX4/PX4-Autopilot.git synced 2026-10-26 10:13:34 +08:00
Code Issues Packages Projects Releases Wiki Activity

ci(apt): extract AWS apt mirror swap into shared script

Browse Source 
The mirror swap was duplicated across two workflows. Move it into
Tools/ci/use_aws_apt_mirror.sh and call the script from each workflow
after checkout but before any heavy apt work like Tools/setup/ubuntu.sh.

The script no-ops outside runs-on (RUNS_ON_AWS_REGION unset), so it is
safe to call from forks, self-hosted runners, or local container runs
without changing behavior there. The region is read from the runs-on
environment instead of being hardcoded, so future region changes only
need updating where the runner is provisioned.

The bootstrap 'apt install git' step keeps the default mirror because
git is one package and is unlikely to hit the dep11 desync issue that
broke ubuntu.sh.

Signed-off-by: Ramon Roche <mrpollo@gmail.com>
This commit is contained in:
Ramon Roche
2026-04-07 20:01:55 -06:00
parent 2798910293
commit 60db79f35e
3 changed files with 48 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/build_deb_package.yml
+3 -11
View File
@@ -90,17 +90,6 @@ jobs:
- name: Fix git in container
run: |
# Switch to AWS regional mirrors. runs-on instances are in us-west-2,
# and the EC2 archive mirrors are Canonical-operated, region-local,
# and sync aggressively. The default archive.ubuntu.com round-robin
# sometimes serves out-of-sync index files mid-sync, breaking
# apt-get update.
if [ -f /etc/apt/sources.list.d/ubuntu.sources ]; then
sed -i 's|http://archive.ubuntu.com/ubuntu|http://us-west-2.ec2.archive.ubuntu.com/ubuntu|g; s|http://security.ubuntu.com/ubuntu|http://us-west-2.ec2.archive.ubuntu.com/ubuntu|g' /etc/apt/sources.list.d/ubuntu.sources
fi
if [ -f /etc/apt/sources.list ]; then
sed -i 's|http://archive.ubuntu.com/ubuntu|http://us-west-2.ec2.archive.ubuntu.com/ubuntu|g; s|http://security.ubuntu.com/ubuntu|http://us-west-2.ec2.archive.ubuntu.com/ubuntu|g' /etc/apt/sources.list
fi
apt-get update && apt-get install -y git
git config --global --add safe.directory $(realpath .)
@@ -109,6 +98,9 @@ jobs:
fetch-depth: 0
fetch-tags: true
- name: Use AWS regional apt mirror
run: ./Tools/ci/use_aws_apt_mirror.sh
- name: Cache apt packages
uses: actions/cache@v4
with: