From 6ba24bd0a3d693eeabe5ba1ba31b4b70cb194500 Mon Sep 17 00:00:00 2001 From: Jack Lloyd Date: Sat, 24 Aug 2024 06:53:59 -0400 Subject: [PATCH] Update apt db before install --- src/scripts/ci/setup_gh_actions.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/scripts/ci/setup_gh_actions.sh b/src/scripts/ci/setup_gh_actions.sh index 6c221f529d6..a45d02f5f12 100755 --- a/src/scripts/ci/setup_gh_actions.sh +++ b/src/scripts/ci/setup_gh_actions.sh @@ -26,7 +26,7 @@ if type -p "apt-get"; then fi # Normal workflow follows - #sudo apt-get -qq update + sudo apt-get -qq update sudo apt-get -qq install ccache libbz2-dev liblzma-dev libsqlite3-dev if [ "$TARGET" = "valgrind" ] || [ "$TARGET" = "valgrind-full" ]; then