-
Notifications
You must be signed in to change notification settings - Fork 691
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
Introduce output_group for pusher executable #1685
Conversation
This allows the pusher to be referenced as a label without including all the default outputs including the .digest file Fixes bazelbuild#1684 Also use the user-provided value for the (undocumented) "extension" parameter if one is set. Fixes bazelbuild#1683
ping @smukherj1 :) |
Apologies for the massive delay. We'll get to this within a week |
/gcbrun |
Dumb question: when you call |
@eytankidron yes it needs ping again on getting this in? |
/gcbrun |
[APPROVALNOTIFIER] This PR is APPROVED This pull-request has been approved by: alexeagle, eytankidron The full list of commands accepted by this bot can be found here. The pull request process is described here
Needs approval from an approver in each of these files:
Approvers can indicate their approval by writing |
This allows the pusher to be referenced as a label without including all the default outputs including the .digest file
Fixes #1684
Also use the user-provided value for the (undocumented) "extension" parameter if one is set.
Fixes #1683