Re: [PATCH 0/4] gitlab-ci improvements

[Richard Henderson]

On 3/11/21 8:22 AM, Thomas Huth wrote:

Thomas Huth (4):
   gitlab-ci.yml: Move build-tools-and-docs-debian to a better place
   gitlab-ci.yml: Add some missing dependencies to the jobs
   gitlab-ci.yml: Merge one of the coroutine jobs with the tcg-disabled
     job
   gitlab-ci.yml: Merge check-crypto-old jobs into the build-crypto-old
     jobs

Reviewed-by: Richard Henderson <richard.hender...@linaro.org>

r~