欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Jenkins
来自开放百科 - 灰狐
Jenkins CI 基于 Hudson 构建,MIT许可协议。
Debian
wget -q -O - http://pkg.jenkins-ci.org/debian/jenkins-ci.org.key | apt-key add - vim /etc/apt/sources.list deb http://pkg.jenkins-ci.org/debian binary/ apt-get update apt-get install jenkins http://localhost:8080/
用户
链接
分享您的观点