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

Bazel: fix remote cache uploads #12108

Merged
merged 1 commit into from
Mar 10, 2023
Merged

Bazel: fix remote cache uploads #12108

merged 1 commit into from
Mar 10, 2023

Conversation

prestonvanloon
Copy link
Member

What type of PR is this?

Other

What does this PR do? Why is it needed?

This flag of the correctness section is not necessarily correct. Users of remote cache do want to upload their results.

Which issues(s) does this PR fix?

Other notes for review

@prestonvanloon prestonvanloon requested a review from a team as a code owner March 9, 2023 23:21
@prestonvanloon prestonvanloon added CI Continuous integration related items OK to merge labels Mar 9, 2023
@prylabs-bulldozer prylabs-bulldozer bot merged commit 5eaa152 into develop Mar 10, 2023
@delete-merged-branch delete-merged-branch bot deleted the fix branch March 10, 2023 00:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CI Continuous integration related items
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants