bazel icon indicating copy to clipboard operation
bazel copied to clipboard

Extra resources

Open drewmacrae opened this issue 2 years ago • 1 comments

This recreates a closed PR to implement extra resources which we're hoping to use in https://github.com/lowRISC/opentitan/pull/16436

Fixes:#16817

drewmacrae avatar Nov 17 '22 19:11 drewmacrae

This PR touches the code that manages local action execution, hence I'm moving this to the team-Local-Exec label.

haxorz avatar Nov 29 '22 22:11 haxorz

No, it was submitted as cl/498557024 on Dec. 30.

-Lars

On Thu, 23 Feb 2023 at 11:46, Xùdōng Yáng @.***> wrote:

Was this only merged into the 6.1.0 branch without being on master? @kshyanashree https://github.com/kshyanashree @keertk https://github.com/keertk

— Reply to this email directly, view it on GitHub https://github.com/bazelbuild/bazel/pull/16785#issuecomment-1441542748, or unsubscribe https://github.com/notifications/unsubscribe-auth/ABXTMK5YQXGNWQFJ6PTK62DWY45XHANCNFSM6AAAAAASDWWXYY . You are receiving this because you were mentioned.Message ID: @.***>

--

Lars Clausen

Software Engineer

@.***

Google Germany GmbH

Erika-Mann-Straße 33

80636 München

Geschäftsführer: Paul Manicle, Liana Sebastian

Registergericht und -nummer: Hamburg, HRB 86891

Sitz der Gesellschaft: Hamburg

Diese E-Mail ist vertraulich. Falls Sie diese fälschlicherweise erhalten haben sollten, leiten Sie diese bitte nicht an jemand anderes weiter, löschen Sie alle Kopien und Anhänge davon und lassen Sie mich bitte wissen, dass die E-Mail an die falsche Person gesendet wurde.

This e-mail is confidential. If you received this communication by mistake, please don't forward it to anyone else, please erase all copies and attachments, and please let me know that it has gone to the wrong person.

larsrc-google avatar Feb 23 '23 11:02 larsrc-google