欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell

以下页面链接至Jenkins：

• Huihoo ‎ (←链入页面)
• Hudson ‎ (←链入页面)
• Redmine ‎ (←链入页面)
• Continuous integration ‎ (←链入页面)
• Sonar ‎ (←链入页面)
• Software testing ‎ (←链入页面)
• Continuous delivery ‎ (←链入页面)
• OpenShift ‎ (←链入页面)
• Phabricator ‎ (←链入页面)
• Jenkins/security ‎ (←链入页面)
• 分类:Jenkins ‎ (←链入页面)
• Gerrit jenkins and github ‎ (←链入页面)
• Jenkins/developer ‎ (←链入页面)
• Gitlab-maven-jenkins ‎ (←链入页面)
• Drone ‎ (←链入页面)
• Fabric8 ‎ (←链入页面)
• 灰狐协作 ‎ (←链入页面)
• 我与C++PythonErlang的1000个日夜 ‎ (←链入页面)
• Mesos ecosystem ‎ (←链入页面)
• Spinnaker ‎ (←链入页面)
• Open devops stack ‎ (←链入页面)