devstack/tools/jenkins/jenkins_home
2011-11-15 13:30:20 -08:00
..
jobs update jenkins branches to master 2011-11-15 13:07:58 -08:00
.gitignore rename jenkins home 2011-11-09 11:00:26 -08:00
build_jenkins.sh user must configure a jenkins ssh key 2011-11-15 13:30:20 -08:00
clean.sh fix usage for clean.sh 2011-11-10 14:46:52 -08:00
print_summary.py add a script to print a json summary of our jenkins configs 2011-11-14 11:05:04 -08:00