Re: [PATCH for-4.19 v2 3/6] CI: Refresh the Coverity Github Action configuration

[Roger Pau Monné <roger.pau@xxxxxxxxxx>]

On Mon, Jul 08, 2024 at 04:42:28PM +0100, Andrew Cooper wrote:
> Update to Ubuntu 24.04, and checkout@v4 as v2 is deprecated.
> 
> The build step goes out of it's way to exclude docs and stubdom (but include
> plain MiniOS), so disable those at the ./configure stage and simplify the
> build step somewhat.
> 
> Refresh the package list.  libbz2-dev was in there twice, and e2fslibs-dev is
> a a transitional package to libext2fs-dev.  I'm not aware of libtool ever
> having been a Xen dependency.
> 
> Signed-off-by: Andrew Cooper <andrew.cooper3@xxxxxxxxxx>

Reviewed-by: Roger Pau Monné <roger.pau@xxxxxxxxxx>

Thanks, Roger.