Google Git
Sign in
vanadium / release.go.x.devtools / fa8fa042d9eecec4ad181523740b946c2cd7b6b5
commitfa8fa042d9eecec4ad181523740b946c2cd7b6b5[log] [tgz]
authorJing Jin <jingjin@google.com>Fri Feb 26 15:08:06 2016 -0800
committerJing Jin <jingjin@google.com>Fri Feb 26 15:08:51 2016 -0800
treecb5475f875241cbf0caeaee055d2b12233f57d10
parentb3e0b10a5988d64ed2a4f52b9eb3b1139e7fa341 [diff]
TBR: devtools/presubmit: don't fail the result phase when results don't exist.

PresubmitTest: none
Change-Id: I9f28ee42d1625c3fe8fc8a7b895f43557e3a53c1
1 file changed
tree: cb5475f875241cbf0caeaee055d2b12233f57d10
  1. bendroid/
  2. dashboard/
  3. data/
  4. godepcop/
  5. gologcop/
  6. internal/
  7. jiri-api/
  8. jiri-copyright/
  9. jiri-dockergo/
  10. jiri-go/
  11. jiri-goext/
  12. jiri-oncall/
  13. jiri-profile-v23/
  14. jiri-run/
  15. jiri-swift/
  16. jiri-test/
  17. jiri-v23-profile/
  18. jiridoc/
  19. madb/
  20. mailer/
  21. oncall/
  22. postsubmit/
  23. presubmit/
  24. vbinary/
  25. vcloud/
  26. vjenkins/
  27. vkiosk/
  28. vmon/
  29. .gitignore
  30. .godepcop
  31. .jiriignore
  32. AUTHORS
  33. CONTRIBUTING.md
  34. CONTRIBUTORS
  35. LICENSE
  36. PATENTS
  37. README.md
  38. VERSION
README.md

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.