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.
Version: wmf-deployment
Severity: normal
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.
Version: wmf-deployment
Severity: normal
Status | Subtype | Assigned | Task | ||
---|---|---|---|---|---|
Resolved | hashar | T75515 Delete workspaces of mediawiki-vendor-integration (job has been deleted) | |||
Resolved | None | T74787 Jenkins: Rename mediawiki-vendor-integration to mediawiki-core-phpunit |