There are build errors in the mediawiki builds on travis-ci, which have been happening for four months.
https://travis-ci.org/wikimedia/mediawiki-core/builds
Is anyone using that to help with development. I doubt it, given they are broken.
Could they be disabled, as those jobs are causing other travis-ci jobs under 'wikimedia' to be delayed. e.g. the pywikibot-core builds, where the developer team actively uses the travis builds.
https://travis-ci.org/wikimedia/pywikibot-core/builds
-- John Vandenberg