欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Travis CI
来自开放百科 - 灰狐
travis-ci:一个面向Ruby社区的开源分布式构建系统。
环境
- Ruby (Ruby 1.9.1 is not supported)
- PostgreSQL for the pg gem
- RabbitMQ
- VirtualBox
支持语言
- "Clojure":http://about.travis-ci.org/docs/user/languages/clojure/
- "Erlang":http://about.travis-ci.org/docs/user/languages/erlang/
- "Groovy":http://about.travis-ci.org/docs/user/languages/groovy/
- "Java":http://about.travis-ci.org/docs/user/languages/java/
- "JavaScript":http://about.travis-ci.org/docs/user/languages/javascript-with-nodejs/ (with Node.js)
- "Perl":http://about.travis-ci.org/docs/user/languages/perl/
- "PHP":http://about.travis-ci.org/docs/user/languages/php/
- "Python":http://about.travis-ci.org/docs/user/languages/python/
- "Ruby":http://about.travis-ci.org/docs/user/languages/ruby/
- "Scala":http://about.travis-ci.org/docs/user/languages/scala/
链接
分享您的观点