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

Remove --keep_going #669

Closed
wants to merge 1 commit into from
Closed

Remove --keep_going #669

wants to merge 1 commit into from

Conversation

sergiocampama
Copy link

Until bazelbuild/bazel#7674 is resolved, it should not be used as a default flag in the CI.

Until bazelbuild/bazel#7674 is resolved, it should not be used as a default flag in the CI.
@philwo
Copy link
Member

philwo commented Jul 11, 2019

Seems like the mentioned bug has been fixed by now, but we still might want this - if the build doesn't work, there's not much point to spend resources to run tests or continue building.

@philwo philwo removed their request for review August 27, 2019 13:59
@philwo philwo force-pushed the master branch 2 times, most recently from f67a23f to 16b4e3d Compare February 17, 2020 18:51
@philwo
Copy link
Member

philwo commented Mar 17, 2020

I just wanted to merge this, but the flag was already gone. Closing this PR.

@philwo philwo closed this Mar 17, 2020
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