search

DOMjudge / domjudge

DOMjudge programming contest jury system
https://www.domjudge.org
GNU General Public License v2.0
739 stars 258 forks source link

Cherry-pick to fix CI #2750

Closed vmcj closed 1 month ago

vmcj commented 1 month ago

If CI becomes green I'll merge this.

vmcj commented 1 month ago

The failure of the other test will be handled in another PR.