| commit | 182c0fd7573d7a21522c32e71a79c6e4eb6d8024 | [log] [tgz] |
|---|---|---|
| author | Vitaly Buka <vitalybuka@google.com> | Wed Oct 28 22:30:43 2020 -0700 |
| committer | Vitaly Buka <vitalybuka@google.com> | Wed Oct 28 22:30:43 2020 -0700 |
| tree | 338d0c22d0e6a14571b3f36a07b28ee9d7cc5e5b | |
| parent | b89994ecccd45d80f363a3e631e7b85ffded5df7 [diff] |
[Sanitizer] Switch tsan bot to ninja