This CI could consume too much CPU time on GitLab. Maybe we should add
resource concious CI configuration on GitLab.