mirror of
https://github.com/curl/curl.git
synced 2026-05-20 08:56:23 +03:00
GHA: drop 3rd-party apt source docker.list
Seen on `ubuntu-slim` runners. Also: - extend to two jobs to `ls -l` package sources on both ubuntu-latest, ubuntu-24.04-arm, and ubuntu-slim. - drop former stray apt source `ondrej-ubuntu-php-noble.sources`. It's no longer present on the image. Closes #21344
This commit is contained in:
parent
0a6f815ff7
commit
3e0e2cc1ab
5 changed files with 10 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,microsoft-prod.list,ondrej-ubuntu-php-noble.sources}
|
||||
sudo rm -f /etc/apt/sources.list.d/{azure-cli.sources,docker.list,microsoft-prod.list}
|
||||
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