Add pagination to submission lists#2882

Merged

vmcj merged 3 commits intoDOMjudge:mainfrom

nickygerritsen:submissions-paginated

Feb 23, 2025

Commits on Dec 15, 2024

Add pagination to submission lists
nickygerritsen
committed

Commits on Dec 17, 2024

Fix user invalid IP test that suddenly broke
nickygerritsen
committed

Commits on Dec 18, 2024

Update webapp/src/Form/Type/SubmissionsFilterType.php

nickygerritsen
and
vmcj
authored