We keep this only for backwards compatibility with projects that have
been migrated from GitLab CI. New project badge will go elsewhere.