bazel
                                
                                 bazel copied to clipboard
                                
                                    bazel copied to clipboard
                            
                            
                            
                        Extra resources
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
This PR touches the code that manages local action execution, hence I'm moving this to the team-Local-Exec label.
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.