Hi all I've made few changes to our Jenkins server: - it now has runkit and gmp extensions, thus should be able to run complete testsuite - changed authentication to use GitHub, I think it's better to rely on that than requiring yet another password -- Michal Čihař | http://cihar.com | http://phpmyadmin.net