Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

CI: Keep the ICC build for releases only #800

Merged
merged 4 commits into from
Dec 17, 2022
Merged

Conversation

SergeyShorokhov
Copy link
Member

This way it will take less time to build a project caused by Pull requests.
Building with ICC is left for releases only.

@SergeyShorokhov SergeyShorokhov added Type: 🚀 enhancement Improvement or addition of a new feature. Priority: 🕒 low Low priority tasks that can be postponed for the future. Type: 🛠️ maintenance Tasks related to technical debt, infrastructure upkeep. labels Dec 17, 2022
@SergeyShorokhov SergeyShorokhov self-assigned this Dec 17, 2022
@SergeyShorokhov SergeyShorokhov merged commit 889edc8 into master Dec 17, 2022
@SergeyShorokhov SergeyShorokhov deleted the ci-less-time branch December 17, 2022 21:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Priority: 🕒 low Low priority tasks that can be postponed for the future. Type: 🚀 enhancement Improvement or addition of a new feature. Type: 🛠️ maintenance Tasks related to technical debt, infrastructure upkeep.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant