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

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

On Fri, Jul 05, 2024 at 04:20:34PM +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.

Since we now disable those at configure time, could the build step be
switched to a plain `make build`?

Thanks, Roger.