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