[phpMyAdmin Developers] Jenkins

[Michal Čihař]

Hi all

For quite some time we're using Jenkins for CI. We've also added Travis
over the years. Do you think it's reasonable to still have both of
them?

Own Jenkins server requires some maintenance and currently doesn't
integrate that well with GitHub as Travis. This could be probably
addressed, but the questions is whether it's worth of it.

My personal opinion is that Jenkins does not really have any benefits,
so I'd just drop it from our infrastructure.

PS: I've disabled error-reporting-server tests there as they are
apparently failing due to some timezone errors.

-- 
	Michal Čihař | https://cihar.com/ | https://weblate.org/
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 833 bytes
Desc: This is a digitally signed message part
URL: <https://lists.phpmyadmin.net/pipermail/developers/attachments/20170512/10a1165e/attachment.sig>