commit | 76975d5725697af96a247a964b83ba8b3c902802 | [log] [tgz] |
---|---|---|
author | Luca Milanesio <luca.milanesio@gmail.com> | Thu Jan 09 15:02:37 2020 +0000 |
committer | Luca Milanesio <luca.milanesio@gmail.com> | Thu Jan 09 15:12:46 2020 +0000 |
tree | ecd317d1fb5ce58d680f621e8b25430bbfbbc701 | |
parent | 39576fb435a91d6c41204bdc74161a87f8e8be7c [diff] |
Use bazelisk for builds Change-Id: I08c7765361de8bd56aed163387330a331d234feb (cherry picked from commit dd94a3c8dd54dff268f7ce6613d61b0362c0c81d)