tree 8f167f48c61b04a9b49f478298c5c58f79b3fe01
parent 5452350361d71ed93e153ed2bde84fba615bc5e6
parent d870d465356675db31d75ea246fb53bc101d731d
author Edwin Kempin <ekempin@google.com> 1610613414 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1610613414 +0000

Merge "tools/coverage.sh: Use bazelisk if it is installed"