Last modified: 2014-11-18 15:34:12 UTC
The mediawiki-vendor-integration job has been renamed mediawiki-phpunit (bug 72787). We should delete the related workspaces from all slaves in a few days.
I have deleted the job in Jenkins and the workspaces on gallium and lanthanum.