This website requires JavaScript.
Explore
Help
Sign in
josch
/
devstack_custom
Watch
1
Star
0
Fork
You've already forked devstack_custom
0
Code
Issues
Pull requests
Projects
Releases
Wiki
Activity
f44e98d1c7
devstack_custom
/
tools
/
jenkins
/
jenkins_home
History
Anthony Young
977b334690
user must configure a jenkins ssh key
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