tree 44f3c883277e1a451a7c1daa9c5292a09c963e24
parent 8f290fc884a75e99fab5ae9f213fcd38cfb2af5d
author Davide Pesavento <davidepesa@gmail.com> 1586715045 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1586825683 -0400

ci: set ASan's detect_invalid_pointer_pairs to 2

Change-Id: Ibc9a4bd447a8ccebbf864c2da6c279ef5e272739