descriptionDOMjudge-packaging
ownerDOMjudge
last changeWed, 20 Mar 2019 19:34:13 +0000 (20:34 +0100)
shortlog
2 days ago Nicky GerritsenFix permissions *after* clearing cache to allow webserv... master
2019-03-09 Nicky GerritsenAdd support for specifying DOMJUDGE_CREATE_WRITABLE_TEM...
2019-02-23 Nicky GerritsenUpgrade contributor container to Ubuntu 18.04 so we...
2019-01-18 Nicky GerritsenUpdate Dockerfiles to reflect new split nginx config...
2019-01-18 Nicky GerritsenUpdate travis image with php-intl extension
2018-10-30 Keith JohnsonAdd dockerfile used to build the container we run our...
2018-10-23 Nicky GerritsenFix name of judgehost chroot image
2018-10-23 Nicky GerritsenPut FPM_MAX_CHILDREN in correct spot in readme
2018-10-23 Nicky GerritsenOnly fix FPM configs if neeeded
2018-10-20 Keith JohnsonAdd judgehost chroot docker file + add to build script
2018-10-18 Nicky GerritsenOnly remove default FPM config if it exists and only...
2018-10-16 Nicky GerritsenUse DOMjudge-supplied PHP FPM config and allow overwrit...
2018-10-16 Nicky GerritsenInstall ca-certificates. Fixes #26
2018-09-30 Nicky GerritsenSet workdir for domjudge-contributor container
2018-09-23 Nicky GerritsenUse the latest version of composer while building Docke...
2018-09-09 Nicky GerritsenFix domserver Docker image for 6.0+
...
heads
2 days ago master
17 months ago 5.1
2 years ago 5.0
3 years ago 4.0
4 years ago 3.4
5 years ago 3.3
7 years ago 3.2
7 years ago 3.1
8 years ago 3.0