Console Output

[devops] Running shell script
+ rm -rfv v12.0/414
removed 'v12.0/414/changelog/changelog-devops.html'
removed directory 'v12.0/414/changelog'
removed 'v12.0/414/pool/devops/osm-devops_12.0.7.post3-1_all.deb'
removed directory 'v12.0/414/pool/devops'
removed directory 'v12.0/414/pool'
removed directory 'v12.0/414'