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

Make scoreboard type explicit. #2942

Merged

meisterT merged 1 commit into DOMjudge:main from meisterT:scoreboardtype

Mar 2, 2025

Merged

Make scoreboard type explicit. #2942

Make scoreboard type explicit.

GitHub Actions / Test Results completed Mar 2, 2025 in 0s

No tests found

0 tests ±0 0 ✅ ±0 0s ⏱️ ±0s
0 suites ±0 0 💤 ±0
0 files ±0 0 ❌ ±0

Results for commit b3458dd. ± Comparison against earlier commit f7604bf.

View more details on GitHub Actions