Merge pull request #1902 from matt335672/ci-fixes

CI: Update package lists before adding packages
This commit is contained in:
matt335672
2021-05-28 10:56:37 +01:00
committed by GitHub
3 changed files with 4 additions and 1 deletions
@@ -3,4 +3,5 @@ set -eufx
PACKAGES="subversion cmake"
apt-get -yq --no-install-suggests --no-install-recommends install $PACKAGES
apt-get update
apt-get -yq --no-install-suggests --no-install-recommends install $PACKAGES
@@ -3,4 +3,5 @@ set -eufx
PACKAGES="libz3-dev z3"
apt-get update
apt-get -yq --no-install-suggests --no-install-recommends install $PACKAGES
@@ -89,6 +89,7 @@ in
;;
esac
apt-get update
apt-get -yq \
--no-install-suggests \
--no-install-recommends \