Re: [PATCH] gitlab-ci: split clang-user to avoid timeout

[Thomas Huth]

On 03/11/2022 22.23, Stefan Hajnoczi wrote:
> GitLab CI times out when the clang-user job takes over 1 hour.

Oh, that's new to me ... is that a regression? Has something become slower? 
Or did we just add more stuff to the user builds recently?

Anyway, if it's just taking a little bit longer than 1h, it's likely better 
to bump the timeout by 10 minutes (to 70 minutes), I guess that will still 
take less CI minutes to run than to have two jobs.

 Thomas