Expose score (not time) for scoring type contests in the scoreboard API.#3413
Merged
meisterT merged 1 commit intoDOMjudge:mainfrom Feb 3, 2026
Merged
Expose score (not time) for scoring type contests in the scoreboard API.#3413meisterT merged 1 commit intoDOMjudge:mainfrom
meisterT merged 1 commit intoDOMjudge:mainfrom
