Hashar has submitted this change and it was merged. Change subject: universal linter was not checking expected source ......................................................................
universal linter was not checking expected source For some reason '-verbose' was being passed to ant as a property which caused an invalid command line discarding the sourcedir parameter. The end result is that the job was linting the changes made to the jenkins repository, not mediawiki core :( Change-Id: I80c6395ad1ad43b8800fdc9a3fca135800b6e59b --- M jobs/MediaWiki-Universal-Linter/config.xml 1 file changed, 2 insertions(+), 1 deletion(-) Approvals: Hashar: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/35614 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I80c6395ad1ad43b8800fdc9a3fca135800b6e59b Gerrit-PatchSet: 1 Gerrit-Project: integration/jenkins Gerrit-Branch: master Gerrit-Owner: Hashar <[email protected]> Gerrit-Reviewer: Hashar <[email protected]> Gerrit-Reviewer: Krinkle <[email protected]> Gerrit-Reviewer: Siebrand <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
