tree 947f752290ef34c3d1815cfb640d9485efd026d6
parent 6e90a0b9c67e1a5f9cdad8f053295b90f75212f1
author Davide Pesavento <davidepesa@gmail.com> 1553275193 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1553275193 -0400

ci: enable LeakSanitizer

Change-Id: I8dcaa376ff0692ebc85eb646eab63ef1b849f8c8