From 0c0c1c98d03f9c1ab53c7a897ae3e7a66cc00b09 Mon Sep 17 00:00:00 2001 From: Weiqun Zhang Date: Tue, 6 Feb 2024 09:38:08 -0800 Subject: [PATCH] Try to fix has mismatch error --- .github/workflows/dependencies/dependencies_codeplay.sh | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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