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

Avoid unnecessary iteration on action inputs. #16118

Closed
wants to merge 1 commit into from

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 <chiwang@google.com>
@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.

None yet

6 participants