Google Git
Sign in
vanadium / release.go.x.devtools / eadf4831cd5c48bf2e44120fd4a59ba33af2f0cf
commiteadf4831cd5c48bf2e44120fd4a59ba33af2f0cf[log] [tgz]
authorBogdan Caprita <caprita@google.com>Tue Mar 08 16:58:00 2016 -0800
committerBogdan Caprita <caprita@google.com>Tue Mar 08 16:58:00 2016 -0800
treee4594a4417a04ba06627ef7ab225629c81c5192b
parent0abd59c7b05081837ec74cd4e6021062381c6cb0 [diff]
TBR: data: disable vanadium-mojo-v23proxy-integration-test since it's flaky

Change-Id: I24c21d0aac9a26c63f1f0931782c6ebb922255b7
1 file changed
tree: e4594a4417a04ba06627ef7ab225629c81c5192b
  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. tracify/
  25. vbinary/
  26. vcloud/
  27. vjenkins/
  28. vkiosk/
  29. vmon/
  30. .gitignore
  31. .godepcop
  32. .jiriignore
  33. AUTHORS
  34. CONTRIBUTING.md
  35. CONTRIBUTORS
  36. LICENSE
  37. PATENTS
  38. README.md
  39. 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.