Skip to content
Jenkins
log in
Dashboard
liuwenjing
My Views
All
mizar
#73
Shell Script
Console Output
Up
Status
Console Output
Console Output
+ rm -rf /root/workspace/mizar/mizar@tmp
![[Jenkins]](/jenkins/static/81f1f1de/images/jenkins-header-logo-v2.svg){kind=logo}
