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.
Signed-off-by:
Vincent Stehlé <vincent.stehle@arm.com>
parent
6163c962
Loading
Loading
Pipeline
#8125
passed
with stage
in
3 minutes and 49 seconds
Loading