Github user bzz commented on the issue:
    I see what you mean, for profile not included in build roster by default we 
would need to update the CI profile. Well, it's 12s * 10 (number of profile we 
have no), which looks like 2min time, but we can always optimize that later.
    Could you please elaborate on CI failures here?  In my experience, that 
helps to merge things faster.

If your project is set up for it, you can reply to this email and have your
reply appear on GitHub as well. If your project does not have this feature
enabled and wishes so, or if the feature is enabled but not working, please
contact infrastructure at or file a JIRA ticket
with INFRA.

Reply via email to