diff options
| author | Dean Deng <deandeng@google.com> | 2020-10-28 18:16:30 -0700 |
|---|---|---|
| committer | gVisor bot <gvisor-bot@google.com> | 2020-10-28 18:23:29 -0700 |
| commit | 3b4674ffe0e6ef1b016333ee726293ecf70c4e4e (patch) | |
| tree | 5a0147bdaa1b75cf933fc39ff2118fd553d878cb /tools/github | |
| parent | 906f912b7c9484fd0028224a24055b887d4f84d2 (diff) | |
Add logging option to leak checker.
Also refactor the template and CheckedObject interface to make this cleaner.
Updates #1486.
PiperOrigin-RevId: 339577120
Diffstat (limited to 'tools/github')
0 files changed, 0 insertions, 0 deletions