12:07:20 [2019-12-23T17:07:20.147Z] + cp ../scripts/deploy-doc.sh /home/jenkins/agent/workspace/tracecompass-gerrit/.scripts/
![[Jenkins]](/tracecompass/static/a112a932/images/svgs/logo.svg){kind=logo}
