用户工具

站点工具


tools:jenkins

差别

这里会显示出您选择的修订版和当前版本之间的差别。

到此差别页面的链接

tools:jenkins [2018/08/10 17:56] (当前版本)
guest 创建
行 1: 行 1:
 +  * jenkins任务完成会
 +
 +  BUILD_ID=demo
 +  sh restart.sh
 +
 +
 +
  
tools/jenkins.txt · 最后更改: 2018/08/10 17:56 由 guest