CI: Update package lists before adding packages
This commit is contained in:
parent
43107d5c71
commit
341a32581c
@ -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 \
|
||||
|
Loading…
Reference in New Issue
Block a user