tree 338d0c22d0e6a14571b3f36a07b28ee9d7cc5e5b
parent b89994ecccd45d80f363a3e631e7b85ffded5df7
author Vitaly Buka <vitalybuka@google.com> 1603949443 -0700
committer Vitaly Buka <vitalybuka@google.com> 1603949443 -0700

[Sanitizer] Switch tsan bot to ninja