diff --git a/.github/workflows/dependencies/dependencies_codeplay.sh b/.github/workflows/dependencies/dependencies_codeplay.sh index bf692d3c2c7..0f723a0bfc0 100755 --- a/.github/workflows/dependencies/dependencies_codeplay.sh +++ b/.github/workflows/dependencies/dependencies_codeplay.sh @@ -15,6 +15,7 @@ echo 'Acquire::Retries "3";' | sudo tee /etc/apt/apt.conf.d/80-retries sudo wget -qO - https://developer.codeplay.com/apt/public.key | gpg --dearmor | sudo tee /usr/share/keyrings/codeplay-keyring.gpg > /dev/null echo "deb [signed-by=/usr/share/keyrings/codeplay-keyring.gpg] https://developer.codeplay.com/apt all main" | sudo tee /etc/apt/sources.list.d/codeplay.list +sudo apt-get clean sudo apt-get update # try apt install up to five times, to avoid connection splits @@ -23,7 +24,7 @@ for itry in {1..5} do sudo apt-get install -y --no-install-recommends \ $1 \ - && { sudo apt-get clean; status=0; break; } \ + && { sudo apt-get clean; sudo apt-get update; status=0; break; } \ || { sleep 10; } done if [[ ${status} -ne 0 ]]; then exit 1; fi