commit | af4f8047b7b12ff6e963922deaaef1db1dca466f | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Tue Feb 23 14:18:32 2016 -0800 |
committer | Jing Jin <jingjin@google.com> | Tue Feb 23 14:18:32 2016 -0800 |
tree | c222ea51171c394434f21ddab9f78213a5b1ec03 | |
parent | 47c2c51f2bee8e14dcec590a6f818f3f54eba1f3 [diff] |
devtools/dashboard: improve performance of presubmit dashboard. ... by compressing result related files to a single tar file. This should save us a couple of seconds from each request. Change-Id: Iedd5b3514a235af03ca48862993a007a2d2aa33a
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.