Skip to content

Use static link for compare scripts#3196

Open
vmcj wants to merge 1 commit intoDOMjudge:mainfrom
vmcj:static_different_host_chroot
Open

Use static link for compare scripts#3196
vmcj wants to merge 1 commit intoDOMjudge:mainfrom
vmcj:static_different_host_chroot

Commits

Commits on Nov 13, 2025