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

Flip --incompatible_remote_results_ignore_disk #16282

Closed
wants to merge 4 commits into from

Conversation

coeuvre
Copy link
Member

@coeuvre coeuvre commented Sep 15, 2022

Fixes #15148.

@coeuvre coeuvre requested a review from a team as a code owner September 15, 2022 12:07
@coeuvre coeuvre requested a review from tjgq September 15, 2022 12:08
@ShreeM01 ShreeM01 added team-Remote-Exec Issues and PRs for the Execution (Remote) team awaiting-user-response Awaiting a response from the author labels Sep 16, 2022
@coeuvre coeuvre added awaiting-review PR is awaiting review from an assigned reviewer and removed awaiting-user-response Awaiting a response from the author labels Sep 19, 2022
aiuto pushed a commit to aiuto/bazel that referenced this pull request Oct 12, 2022
Fixes bazelbuild#15148.

Closes bazelbuild#16282.

PiperOrigin-RevId: 476308483
Change-Id: I834a2a278a6d3b5262e5199dd3c86ef54fa56c9d
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
awaiting-review PR is awaiting review from an assigned reviewer team-Remote-Exec Issues and PRs for the Execution (Remote) team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

incompatible_remote_results_ignore_disk
2 participants