Skip to content

Commit

Permalink
Try to fix has mismatch error
Browse files Browse the repository at this point in the history
  • Loading branch information
WeiqunZhang committed Feb 8, 2024
1 parent 64b46b7 commit 0c0c1c9
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .github/workflows/dependencies/dependencies_codeplay.sh
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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

0 comments on commit 0c0c1c9

Please sign in to comment.