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

pr: Fail when the CI status fails #61

Merged
merged 1 commit into from
Jul 14, 2023
Merged

Conversation

iainlane
Copy link
Member

@iainlane iainlane commented Jul 4, 2023

This is part of a PR stack:

In this case the PR will probably not be merged, but we can fail waiting
for it if its combined status is failed.

I'm undecided on whether we should unconditionally do this, add a flag, and/or allow passing named checks. In here now I've gone for just doing it unconditionally, maybe we can see how that goes.

@iainlane iainlane changed the base branch from main to iainlane/pr-tests July 4, 2023 12:27
@iainlane iainlane force-pushed the iainlane/pr-tests branch from 2e77b36 to 2960e9f Compare July 4, 2023 12:28
@iainlane iainlane marked this pull request as ready for review July 4, 2023 12:33
@iainlane iainlane requested a review from a team as a code owner July 4, 2023 12:33
@iainlane iainlane force-pushed the iainlane/pr-tests branch from 2960e9f to 51e6764 Compare July 4, 2023 12:50
@iainlane iainlane force-pushed the iainlane/pr-add-fail-on-ci-fail branch from a5ab806 to ffd97d2 Compare July 4, 2023 12:52
Copy link
Contributor

@zzehring zzehring left a comment

Choose a reason for hiding this comment

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

LGTM! Some nits but nothing blocking

cmd/wait-for-github/pr_test.go Show resolved Hide resolved
internal/github/github.go Outdated Show resolved Hide resolved
@iainlane iainlane force-pushed the iainlane/pr-tests branch 2 times, most recently from 356feac to b1c5206 Compare July 14, 2023 14:10
Base automatically changed from iainlane/pr-tests to main July 14, 2023 14:13
In this case the PR will probably not be merged, but we can fail waiting
for it if its combined status is failed.
@iainlane iainlane force-pushed the iainlane/pr-add-fail-on-ci-fail branch from ffd97d2 to 9b7f38a Compare July 14, 2023 16:25
@iainlane iainlane merged commit 94d159d into main Jul 14, 2023
@iainlane iainlane deleted the iainlane/pr-add-fail-on-ci-fail branch July 14, 2023 16:32
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