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

[7.4.0] Gracefully handle setting the same header with --bes_header twice. #23616

Merged
merged 1 commit into from
Sep 26, 2024

Conversation

hauserx
Copy link
Contributor

@hauserx hauserx commented Sep 13, 2024

Fixes #20681

Closes #20684.

PiperOrigin-RevId: 595228741
Change-Id: I06bab1efa25deaa4085acfffd350dc62f9f73aa3

Fixes bazelbuild#20681

Closes bazelbuild#20684.

PiperOrigin-RevId: 595228741
Change-Id: I06bab1efa25deaa4085acfffd350dc62f9f73aa3
@hauserx hauserx requested a review from a team as a code owner September 13, 2024 08:29
@github-actions github-actions bot added the awaiting-review PR is awaiting review from an assigned reviewer label Sep 13, 2024
@iancha1992 iancha1992 added the team-Remote-Exec Issues and PRs for the Execution (Remote) team label Sep 13, 2024
@iancha1992 iancha1992 added this to the 7.4.0 release blockers milestone Sep 13, 2024
@iancha1992 iancha1992 added this pull request to the merge queue Sep 26, 2024
Merged via the queue into bazelbuild:release-7.4.0 with commit 8f9d778 Sep 26, 2024
51 checks passed
@github-actions github-actions bot removed the awaiting-review PR is awaiting review from an assigned reviewer label Sep 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
team-Remote-Exec Issues and PRs for the Execution (Remote) team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants