github ci: refresh apt sources
Be sure to refresh the APT sources before installing packages on github CI. This fixes the case where the cached sources are out-of-sync, which makes the install fail. [Backport commit 1a6384cc.] Signed-off-by:Vincent Stehlé <vincent.stehle@arm.com>
parent
b7a2bd20
Loading
Loading
Pipeline
#9315
passed
with stage
in
2 minutes and 20 seconds
Loading
Please register or sign in to comment