Hacker News new | ask | show | jobs
by 100k 5293 days ago
Notable especially because GitHub had their own CI server: CI Joe https://github.com/defunkt/cijoe
1 comments
pitra 5293 days ago
Scroll to "Does GitHub use cijoe?"

> No. We use Jenkins.

link
100k 5293 days ago
"had"
link