tools/dashboard-deploy-test.py | 12 ++++++++++++
 tools/dashboard-run.py         |  2 +-
 tools/release.py               |  2 ++
 3 files changed, 15 insertions(+), 1 deletion(-)