Console Output

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