欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜: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/
链接
分享您的观点