Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add ppa:pypy/ppa repository in Dockerfiles of judgehost and gitlabci #205

Closed
wants to merge 1 commit into from

Conversation

mpsijm
Copy link

@mpsijm mpsijm commented Oct 5, 2024

This makes sure that the pypy3 package is always the latest, which is nice for always having the newest possible Python language level. Currently, Ubuntu 24.04 (Noble Numbat) has pypy3 7.3.15 (with Python 3.9) and this will probably stay like this for a while, but pypy3 7.3.17 already supports Python 3.10.

These were the only two occurrences of apt-get install [...] pypy3 [...] that I could find, please let me know if I missed something. For example, I don't know how the judgehosts end up in the docker-contributor image.

Also, for some reason, docker/judgehost/Dockerfile.chroot was still based on Ubuntu 20.04, so I also updated that 🙂

Copy link
Member

@vmcj vmcj left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this should be split in 2 PRs

@@ -7,7 +7,8 @@ RUN useradd -d /nonexistent -g nogroup -s /bin/false domjudge-run-0
RUN useradd -d /nonexistent -g nogroup -s /bin/false domjudge-run-1
RUN groupadd domjudge-run

RUN apt-get update && apt-get install -y \
RUN apt-add-repository ppa:pypy/ppa -y \
apt-get update && apt-get -y install \
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I rather test with the old version in the gitlab ci tests, we try to test DOMjudge here not if the ppa has connection issues or if they pushed a broken package.

I think we should always test with the oldest version someone could run, not with the version we normally use ourselves.

Copy link
Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

That's a good point! And it also looks like the Docker build fails because it can't find the PPA. 😅 In that case, I'll close this PR 🙂

@mpsijm mpsijm closed this Oct 5, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants