mirror of
https://github.com/servo/servo.git
synced 2025-09-27 07:10:19 +01:00
286bbe6cb1
We noticed many times that bootstrap sometimes takes a lot of time due to slow download speed: [#general > Bootstrap is slow in CI @ 💬](https://servo.zulipchat.com/#narrow/channel/263398-general/topic/Bootstrap.20is.20slow.20in.20CI/near/537610373). We [reported this to github](https://github.com/actions/runner-images/issues/12949) and they said we should just use different mirrors. Based on https://github.com/CrowdStrike/glide-core/pull/1113 we change Ubuntu's mirror priorities from: ``` http://azure.archive.ubuntu.com/ubuntu priority:0 https://archive.ubuntu.com/ubuntu priority:1 https://security.ubuntu.com/ubuntu priority:2 ``` to: ``` https://archive.ubuntu.com/ubuntu priority:0 http://azure.archive.ubuntu.com/ubuntu priority:1 https://security.ubuntu.com/ubuntu priority:2 ``` I also set more strict timeout (10 min; usually it takes 2-3 min but always less then 4 min) for bootstrap to alert us on problems. Testing: Manual CI run: https://github.com/sagudev/servo/actions/runs/17527791255 --------- Signed-off-by: sagudev <16504129+sagudev@users.noreply.github.com>
13 lines
No EOL
644 B
YAML
13 lines
No EOL
644 B
YAML
# Based on https://github.com/CrowdStrike/glide-core/pull/1113
|
|
name: Change Mirror Priorities
|
|
runs:
|
|
using: "composite"
|
|
steps:
|
|
# https://github.com/actions/runner-images/issues/7048
|
|
- name: Change Mirror Priorities
|
|
shell: bash
|
|
run: |
|
|
sudo sed -i '/archive.ubuntu.com\/ubuntu\/\tpriority/ s/priority:2/priority:0/' /etc/apt/apt-mirrors.txt
|
|
sudo sed -i '/azure.archive.ubuntu.com\/ubuntu\/\tpriority/ s/priority:0/priority:1/' /etc/apt/apt-mirrors.txt
|
|
sudo sed -i '/security.ubuntu.com\/ubuntu\/\tpriority/ s/priority:3/priority:2/' /etc/apt/apt-mirrors.txt
|
|
sudo cat /etc/apt/apt-mirrors.txt |