descriptionDOMjudge-packaging
ownerDOMjudge
last changeTue, 30 Oct 2018 02:05:05 +0000 (22:05 -0400)
shortlog
2018-10-30 Keith JohnsonAdd dockerfile used to build the container we run our... master
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+
2018-07-30 Nicky GerritsenMake sure the source dir is owned by the correct user
2018-04-27 Nicky GerritsenInstall documentation with domserver. Fixes #19
2018-04-27 Nicky GerritsenCopy resolv.conf to chroot. Fixes #17
2018-04-27 Nicky GerritsenDOMserver doesn't need cgroups. Fixes #16
2018-04-27 Nicky GerritsenAdd php-intl to Docker containers, needed for Collator
...
heads
6 weeks ago master
14 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