jenkins-bot has submitted this change and it was merged.

Change subject: new phpcs jobs for mediawiki/core
......................................................................


new phpcs jobs for mediawiki/core

Introduce the jobs:
- mediawiki-core-phpcs-lenient
- mediawiki-core-phpcs-lenient-HEAD
- mediawiki-core-phpcs-strict
- mediawiki-core-phpcs-strict-HEAD

'lenient' are permissive and only fail on errors. The 'strict' one would
fail whenever phpcs emit a warning.

The -HEAD versions are meant to only check the modified file, useful on
patchset submission.  Their counterpart are for postmerge/regression
tracking.

bug: 46500
Change-Id: I33ade4239ef185aecc15e10c7f671f183aaf09a3
---
M mediawiki.yaml
1 file changed, 4 insertions(+), 0 deletions(-)

Approvals:
  Hashar: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/mediawiki.yaml b/mediawiki.yaml
index 0c47d4d..5050e12 100644
--- a/mediawiki.yaml
+++ b/mediawiki.yaml
@@ -141,6 +141,10 @@
       - '{name}-jsduck-publish'
       - '{name}-doxygen-publish'
       - '{name}-whitespaces'
+      - '{name}-phpcs-lenient'
+      - '{name}-phpcs-lenient-HEAD'
+      - '{name}-phpcs-strict'
+      - '{name}-phpcs-strict-HEAD'
       - '{name}-phpunit-{phpunit-group}'
       - '{name}-install-{databasetype}'
 

-- 
To view, visit https://gerrit.wikimedia.org/r/81183
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I33ade4239ef185aecc15e10c7f671f183aaf09a3
Gerrit-PatchSet: 1
Gerrit-Project: integration/jenkins-job-builder-config
Gerrit-Branch: master
Gerrit-Owner: Hashar <has...@free.fr>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to