tree 22c4086810875d5fa79ea55a1fbabcecdb2ef0d8
parent 7a98fbd8f5266d76b58f1eb04e412dd8b321122e
author Luca Milanesio <luca.milanesio@gmail.com> 1578582157 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1578582157 +0000

Use bazelisk for builds

Change-Id: I08c7765361de8bd56aed163387330a331d234feb