tree f324f1e48127c32ffd77d2f005724b9d2aca364b
parent 4b76cb4fc1ac5efacc9a8452f11186916d68b042
author Davide Pesavento <davidepesa@gmail.com> 1553058423 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553058423 -0400

ci: enable LeakSanitizer

Change-Id: I41c35387c46610da95468b13747eaa5983abebc6