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.

Sign up for GitHub

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

Jump to bottom

Jammy wfluxor #123

Merged
merged 2 commits into from
Apr 9, 2024
Merged

Jammy wfluxor #123

merged 2 commits into from
Apr 9, 2024

Conversation

vmcj
Copy link
Member

@vmcj vmcj commented Apr 9, 2024

No description provided.

vmcj added 2 commits April 9, 2024 20:25
@vmcj
Don't install texlive on judgehosts
040821c 
We only need those on the domservers (& admin machines).
@vmcj
ICPC image uses different repo name
8f2e87a
@vmcj vmcj changed the base branch from main to wfluxor April 9, 2024 18:27
@vmcj vmcj merged commit 3b5edde into DOMjudge:wfluxor Apr 9, 2024
3 checks passed
@vmcj vmcj deleted the jammy_wfluxor branch April 9, 2024 19:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nickygerritsen nickygerritsen nickygerritsen approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@vmcj @nickygerritsen