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

work around Azure/GitHub disagreement #7790

Merged
merged 1 commit into from
Oct 23, 2020
Merged

work around Azure/GitHub disagreement #7790

merged 1 commit into from
Oct 23, 2020

Conversation

garyverhaegen-da
Copy link
Contributor

Azure used to report the status of the entire build to GitHub, which we use as the "required check" for PRs to be merged. Ir doesn't do that anymore which means we can't merge anything. It's unclear whether or not that is a deliberate change.

This attempts to work around that by creating an extra job that depends on all the other, which GitHub could depend on.

Note: I am not sure how (if) this will work with skipped jobs.

CHANGELOG_BEGIN
CHANGELOG_END

@cocreature
Copy link
Contributor

Are you suggesting to change the required check to this? Otherwise, I don’t understand how this helps.

@garyverhaegen-da
Copy link
Contributor Author

Are you suggesting to change the required check to this? Otherwise, I don’t understand how this helps.

Yes, that's what I meant by "which GitHub could depend on".

@garyverhaegen-da
Copy link
Contributor Author

But I'm a bit concerned Azure will go "oh, one of the dependencies has been skipped, so let me skip this too".

Copy link
Contributor

@cocreature cocreature left a comment

Choose a reason for hiding this comment

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

Thanks! I agree with your concerns but I also don’t have a better idea unfortunately.

@garyverhaegen-da garyverhaegen-da force-pushed the final-job branch 2 times, most recently from 5654b88 to cba52e5 Compare October 23, 2020 10:16
@garyverhaegen-da
Copy link
Contributor Author

Amended with condition always and explicit check for each job. 🤞

Azure used to report the status of the entire build to GitHub, which we
use as the "required check" for PRs to be merged. Ir doesn't do that
anymore which means we can't merge anything. It's unclear whether or not
that is a deliberate change.

This attempts to work around that by creating an extra job that depends
on all the other, which GitHub could depend on.

CHANGELOG_BEGIN
CHANGELOG_END
@garyverhaegen-da garyverhaegen-da merged commit 5f84053 into master Oct 23, 2020
@garyverhaegen-da garyverhaegen-da deleted the final-job branch October 23, 2020 10:58
garyverhaegen-da added a commit that referenced this pull request Nov 4, 2020
It looks like Azure is correctly reporting the overall job completion
again. See #7790 for details.

CHANGELOG_BEGIN
CHANGELOG_END
garyverhaegen-da added a commit that referenced this pull request Nov 4, 2020
It looks like Azure is correctly reporting the overall job completion
again. See #7790 for details.

CHANGELOG_BEGIN
CHANGELOG_END
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants