tree ecd317d1fb5ce58d680f621e8b25430bbfbbc701
parent 39576fb435a91d6c41204bdc74161a87f8e8be7c
author Luca Milanesio <luca.milanesio@gmail.com> 1578582157 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1578582766 +0000

Use bazelisk for builds

Change-Id: I08c7765361de8bd56aed163387330a331d234feb
(cherry picked from commit dd94a3c8dd54dff268f7ce6613d61b0362c0c81d)