Add support for switching PHP version in contributor container.

DOMjudge / domjudge-packaging

DOMjudge packaging for (Linux) distributions and live image

31 stars 37 forks source link

Add support for switching PHP version in contributor container. #127

Closed nickygerritsen closed 2 years ago

nickygerritsen commented 2 years ago

Also use build in packages for pcov, since pecl is not working with multiple PHP versions. Get rid of ghc and fp-compiler since install seems flaky and contributors don't use it anyway.