Merge pull request #4324 from randombit/jack/apt-update

Update apt db before install
randombit · Aug 24, 2024 · 3bee7a1 · 3bee7a1
2 parents 97e03ce + 6ba24bd
commit 3bee7a1
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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