commit | fd26d3bc5ae8bb402f4401b9bf3d55f9a614a36e | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Thu Apr 21 10:01:18 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Thu Apr 21 10:01:18 2016 -0700 |
tree | 9dde785aebf9459b51e50fb10381708875ad0f35 | |
parent | a1b09433e58313c4a990b22389a41905ee5d6343 [diff] |
dashboard: fix bugs in presubmit dashboard. - Replace "gsutil stat" with "gsutil ls" because "gsutil stat" doesn't work on dirs. - Change the logic of downloading/caching results.tar.gz to make things more efficient. Change-Id: I22447f2a3df5bb52c54babf94a01035020a0d599
This repository contains developer tools used to install and contribute to Vanadium.
For more information, see the installation and contributing instructions.
This repository is fetched and the tools are built as part of the Vanadium installation process for contributors.