mirror of
https://github.com/servo/servo.git
synced 2025-09-17 10:28:22 +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> |
||
|---|---|---|
| .. | ||
| action.yml | ||