10:40:38 [2020-07-28T14:40:38.388Z] + cp ../scripts/deploy-doc.sh /home/jenkins/agent/workspace/tracecompass-master-2019-06/.scripts/
![[Jenkins]](/tracecompass/static/30db2b7e/images/svgs/logo.svg){kind=logo}
