jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/405586 )
Change subject: Increase pywikibot docker timeouts to 15 min
......................................................................
Increase pywikibot docker timeouts to 15 min
pywikibot-core-tox-doc-docker needs nearby 10 min and
aborted several times due to new sphinx release.
pywikibot-core-tox-nose34-docker also needs some additional time.
Since all jobs are grouped in the same project, move the build_timeout
variable definition at project level. It then get passed to all the
jobs.
The timeout thus get applied to:
pywikibot-core-tox-nose34-docker
pywikibot-core-tox-nose-docker
Change-Id: I817a71ac8faac41a00dd9fdcf368147c62fc5680
---
M jjb/pywikibot.yaml
1 file changed, 3 insertions(+), 3 deletions(-)
Approvals:
Hashar: Looks good to me, approved
jenkins-bot: Verified
diff --git a/jjb/pywikibot.yaml b/jjb/pywikibot.yaml
index 68554e0..b7715a3 100644
--- a/jjb/pywikibot.yaml
+++ b/jjb/pywikibot.yaml
@@ -1,19 +1,19 @@
- project:
name: pywikibot-core
+ build_timeout: 15 # minutes
jobs:
- '{name}-tox-docker':
docker_image_var:
docker-registry.wikimedia.org/releng/tox-pywikibot:0.1.0
- build_timeout: 10 # minutes
- '{name}-tox-publish':
docsrc: 'docs/_build/html'
docdest: 'pywikibot'
- '{name}-tox-{toxenv}-docker':
docker_image_var:
docker-registry.wikimedia.org/releng/tox-pywikibot:0.1.0
toxenv:
- - doc:
- build_timeout: 10 # minutes
+ - doc
- nose
- nose34
+
- job-group:
name: pywikibot-tox
jobs:
--
To view, visit https://gerrit.wikimedia.org/r/405586
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I817a71ac8faac41a00dd9fdcf368147c62fc5680
Gerrit-PatchSet: 4
Gerrit-Project: integration/config
Gerrit-Branch: master
Gerrit-Owner: Xqt <i...@gno.de>
Gerrit-Reviewer: Dalba <dalba.w...@gmail.com>
Gerrit-Reviewer: Hashar <has...@free.fr>
Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com>
Gerrit-Reviewer: Xqt <i...@gno.de>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
