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

Change subject: rename log dir: logs -> log
......................................................................


rename log dir: logs -> log

Change-Id: Ic3a72f17351131fbcda411a67c4c36a4775a5aa0
---
M macro.yaml
M mediawiki-extensions.yaml
2 files changed, 6 insertions(+), 6 deletions(-)

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



diff --git a/macro.yaml b/macro.yaml
index 857c79c..3af330e 100644
--- a/macro.yaml
+++ b/macro.yaml
@@ -418,7 +418,7 @@
      - shell: '/var/lib/jenkins/tools/yamllint.py "$WORKSPACE"'
 
 - publisher:
-    name: archive-logs-dir
+    name: archive-log-dir
     publishers:
      - archive:
-        artifacts: 'logs/*'
+        artifacts: 'log/*'
diff --git a/mediawiki-extensions.yaml b/mediawiki-extensions.yaml
index c0a9329..a4959c9 100644
--- a/mediawiki-extensions.yaml
+++ b/mediawiki-extensions.yaml
@@ -59,9 +59,9 @@
     # TODO, find ways to additionaly run tests for core but
     # without extensions tests
     publishers:
-     - archive-logs-dir
+     - archive-log-dir
      - junit:
-        results: 'logs/junit*.xml'
+        results: 'log/junit*.xml'
 
 - job-template:
     name: 'mwext-PoolCounter-build'
@@ -124,9 +124,9 @@
         dependencies: '{dependencies}'
      - mw-run-phpunit-allexts
     publishers:
-     - archive-logs-dir
+     - archive-log-dir
      - junit:
-        results: 'logs/junit*.xml'
+        results: 'log/junit*.xml'
 
 # These are jobs we create for all of the extensions
 # listed below. If a job should only be created

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic3a72f17351131fbcda411a67c4c36a4775a5aa0
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