[Skiboot] [PATCH] github: Run update before installing packages

[Cédric Le Goater]

On 3/16/22 13:32, Joel Stanley wrote:
> The Github CI runners sometimes need to update their apt cache, or
> packages fail to install:
> 
>   E: Failed to fetch http://security.ubuntu.com/ubuntu/pool/main/g/gcc-9-cross/gcc-9-powerpc64le-linux-gnu_9.3.0-17ubuntu1~20.04cross2_amd64.deb  404  Not Found [IP: 40.81.13.82 80]
>   E: Unable to fetch some archives, maybe run apt-get update or try with --fix-missing?
>   Error: Process completed with exit code 100.
> 
> Signed-off-by: Joel Stanley <joel at jms.id.au>
> ---
>   .github/workflows/build-docs.yml | 9 ++++-----
>   1 file changed, 4 insertions(+), 5 deletions(-)
> 

Applied to master.

Thanks,

C.