From c3b3797530680bb05fe88238d816363f7bface9c Mon Sep 17 00:00:00 2001 From: Fotis Koutoulakis Date: Fri, 18 Mar 2022 16:19:27 +0000 Subject: [PATCH] Add a missing update step to renew software sources in apt lists --- .github/workflows/release-packages.yaml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/.github/workflows/release-packages.yaml b/.github/workflows/release-packages.yaml index d915f0413c5..bc5a5f698f0 100644 --- a/.github/workflows/release-packages.yaml +++ b/.github/workflows/release-packages.yaml @@ -13,7 +13,9 @@ jobs: with: submodules: recursive - name: Fetch dependencies - run: sudo apt-get install --no-install-recommends -y g++ gdb flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache z3 + run: | + sudo apt-get update + sudo apt-get install --no-install-recommends -y g++ gdb flex bison cmake ninja-build maven jq libxml2-utils dpkg-dev ccache z3 - name: Confirm z3 solver is available and log the version installed run: z3 --version - name: Prepare ccache