Fixes discovered when packaging the 9.0.0 release.

[meisterT]

No description provided.

[pobrn]

Should this be already available on the docker hub? I can see that the digest shown in https://github.com/DOMjudge/domjudge-packaging/actions/runs/18263427940/job/51994437966#step:9:40 is displayed at https://hub.docker.com/r/domjudge/domserver/tags as 9.0.0. But still:

$ docker pull domjudge/domserver:9.0.0
9.0.0: Pulling from domjudge/domserver
[...]
Digest: sha256:c0a634317e7fa0f44e43504f37a33964308e0a6aab15acda917567cc6fa60652
Status: Downloaded newer image for domjudge/domserver:9.0.0
docker.io/domjudge/domserver:9.0.0
$ docker run --rm -it domjudge/domserver:9.0.0 bash -c "apt list --installed | grep bcmath"
$

What am I missing?

[nickygerritsen]

Should this be already available on the docker hub? I can see that the digest shown in DOMjudge/domjudge-packaging/actions/runs/18263427940/job/51994437966#step:9:40 is displayed at hub.docker.com/r/domjudge/domserver/tags as 9.0.0. But still:

$ docker pull domjudge/domserver:9.0.0
9.0.0: Pulling from domjudge/domserver
[...]
Digest: sha256:c0a634317e7fa0f44e43504f37a33964308e0a6aab15acda917567cc6fa60652
Status: Downloaded newer image for domjudge/domserver:9.0.0
docker.io/domjudge/domserver:9.0.0
$ docker run --rm -it domjudge/domserver:9.0.0 bash -c "apt list --installed | grep bcmath"
$

What am I missing?

Good catch. I'm fixing it in #225

[nickygerritsen]

docker run --rm -it domjudge/domserver:9.0.0 bash -c "apt list --installed | grep bcmath"

It should be updated now 😄 .

[pobrn]

It is, yes, thanks.