Skip to content

Conversation

@coeuvre
Copy link
Member

@coeuvre coeuvre commented Aug 17, 2022

No description provided.

@sgowroji sgowroji added the team-Remote-Exec Issues and PRs for the Execution (Remote) team label Aug 17, 2022
@brentleyjones
Copy link
Contributor

@bazel-io flag

@bazel-io bazel-io added the potential release blocker Flagged by community members using "@bazel-io flag". Should be added to a release blocker milestone label Aug 18, 2022
@brentleyjones
Copy link
Contributor

@sgowroji @coeuvre Can we get this into 5.3.2?

aiuto pushed a commit to aiuto/bazel that referenced this pull request Oct 12, 2022
Closes bazelbuild#16118.

PiperOrigin-RevId: 468429355
Change-Id: I3b32a28ce3e7c6711fdc15839e5a88fad812184c
@ShreeM01
Copy link
Contributor

@bazel-io fork 5.3.2

@bazel-io bazel-io removed the potential release blocker Flagged by community members using "@bazel-io flag". Should be added to a release blocker milestone label Oct 12, 2022
ShreeM01 added a commit that referenced this pull request Oct 12, 2022
Closes #16118.

PiperOrigin-RevId: 468429355
Change-Id: I3b32a28ce3e7c6711fdc15839e5a88fad812184c

Co-authored-by: Chi Wang <[email protected]>
@moroten moroten mentioned this pull request Oct 12, 2022
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.

6 participants