Skip to content
This repository has been archived by the owner on Dec 28, 2021. It is now read-only.

Fixing unnecessary full builds on PR to develop #1309

Merged
merged 3 commits into from
Mar 8, 2021
Merged

Conversation

wdanilo
Copy link
Member

@wdanilo wdanilo commented Mar 8, 2021

Pull Request Description

This PR disables full builds (end enables simple builds) on PRs to develop.

@wdanilo wdanilo requested a review from mwu-tow March 8, 2021 12:13
@@ -401,7 +401,7 @@ let releaseCondition = `github.ref == 'refs/heads/unstable' || github.ref == 're
/// Make a full build if one of the following conditions is true:
/// 1. There was a `FLAG_FORCE_CI_BUILD` flag set in the commit message (see its docs for more info).
/// 2. It was a pull request to 'develop', 'unstable', or 'stable'.
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

The comment should be updated.

@wdanilo wdanilo merged commit 6a3845e into develop Mar 8, 2021
@wdanilo wdanilo deleted the wip/wd/ci4 branch April 3, 2021 07:03
mwu-tow pushed a commit to enso-org/enso that referenced this pull request Oct 30, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants