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

GHA: remove ci-failure #326

Closed
wants to merge 1 commit into from
Closed

GHA: remove ci-failure #326

wants to merge 1 commit into from

Conversation

japaric
Copy link
Member

@japaric japaric commented Jan 4, 2021

bors' semantics have changed: skipped checks are now considered failures
the result is that when all build jobs pass the ci-failure reports a "ci" check as skipped
(expected behavior) but that is now considered a failure by bors

removing the ci-failure conditional should fix the issue
if any build job fails then ci-success will report "ci" as skipped, which bors will consider as a
failure

bors' semantics have changed: skipped checks are now considered failures
the result is that when all build jobs pass the ci-failure reports a "ci" check as skipped
(expected behavior) but that is now considered a failure by bors

removing the ci-failure conditional should fix the issue
if any build job fails then ci-success will report "ci" as skipped, which bors will consider as a
failure
@japaric
Copy link
Member Author

japaric commented Jan 4, 2021

bors r+

bors bot added a commit that referenced this pull request Jan 4, 2021
326: GHA: remove ci-failure r=japaric a=japaric

bors' semantics have changed: skipped checks are now considered failures
the result is that when all build jobs pass the ci-failure reports a "ci" check as skipped
(expected behavior) but that is now considered a failure by bors

removing the ci-failure conditional should fix the issue
if any build job fails then ci-success will report "ci" as skipped, which bors will consider as a
failure

Co-authored-by: Jorge Aparicio <jorge.aparicio@ferrous-systems.com>
@japaric
Copy link
Member Author

japaric commented Jan 4, 2021

right, this needs to land together with PR #325

@japaric japaric closed this Jan 4, 2021
@bors
Copy link
Contributor

bors bot commented Jan 4, 2021

Build failed:

@jonas-schievink jonas-schievink deleted the fix-bors branch January 19, 2021 17:20
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.

1 participant