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

Upgrade chroot, upgrade debootstrap & install kotlin default #2176

Merged
merged 3 commits into from
Oct 20, 2023

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Oct 7, 2023

I assume we also upgrade the debootstrap deb when we upgrade the chroot although this is not strictly needed. I've also added Kotlin to the chroot as it is probably used as often as Java.

@thijskh, is it a problem that the new debootstrap debs are NMU (https://wiki.debian.org/NonMaintainerUpload)?

@thijskh
Copy link
Member

thijskh commented Oct 11, 2023

Not a problem

@vmcj vmcj requested a review from a team October 18, 2023 21:42
@vmcj vmcj merged commit d55e720 into DOMjudge:main Oct 20, 2023
18 checks passed
@vmcj vmcj deleted the chroot_jammy branch October 20, 2023 12:56
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.

3 participants