commit | c8b1431569e342eb9e24b9a46e26011175bdbcce | [log] [tgz] |
---|---|---|
author | Jing Jin <jingjin@google.com> | Tue Mar 15 15:25:30 2016 -0700 |
committer | Jing Jin <jingjin@google.com> | Tue Mar 15 15:25:30 2016 -0700 |
tree | a2bbfacbb1066c8b6aa4f4be19a4f5ee5c4d9376 | |
parent | 1dd03159b9e9c2639193e72a885855b79699e1a0 [diff] |
devtools/jiri-test: fix issues in release automation. - In release production, add a step to build necessary tools. - Fix some typos and output. I tested this locally on jenkins-release-1 slave. Tomorrow after a new snapshot is cut and tested, we could add another Jenkins job (release-production maybe) that the oncall person can manually start to automate the production release process. Change-Id: I83a5809de1af3cfb9b097d35da00a84e4417a1d0
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.