mirror of
https://github.com/curl/curl.git
synced 2026-05-06 22:07:28 +03:00
GHA: delete all apt sources except ubuntu.sources
GitHub runners are getting new 3rd-party sources frequntly now, last
week `docker.list`, this week: `google-chrome.sources`. To avoid
playing catch up, allowlist the only one we use: `ubuntu.sources`. If
this is renamed, CI would break. Let's hope this happens much less
often than new sources.
Bug: https://github.com/curl/curl/pull/21414#issuecomment-4297788640
Follow-up to 3e0e2cc1ab #21344
Closes #21416
This commit is contained in:
parent
0f2b020c03
commit
ed3fea6087
5 changed files with 8 additions and 8 deletions
2
.github/workflows/codeql.yml
vendored
2
.github/workflows/codeql.yml
vendored
|
|
@ -71,7 +71,7 @@ jobs:
|
|||
if: ${{ matrix.platform == 'Linux' }}
|
||||
timeout-minutes: 5
|
||||
run: |
|
||||
sudo rm -f /etc/apt/sources.list.d/{azure-cli.sources,docker.list,microsoft-prod.list}
|
||||
sudo find /etc/apt/sources.list.d -type f -not -name 'ubuntu.sources' -delete -print
|
||||
sudo apt-get -o Dpkg::Use-Pty=0 update
|
||||
printf "#!/bin/sh
|
||||
while [ \$? = 0 ]; do for i in 1 2 3; do timeout 60 \"\$@\" && break 2; echo \"Error: slow server, retry \$i\"; sleep 1
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue