Skip to content

Extract graders model - #474

Merged
pehrsoderman merged 3 commits into
Kattis:masterfrom
gkreitz:extract_graders_model
Aug 27, 2026
Merged

Extract graders model#474
pehrsoderman merged 3 commits into
Kattis:masterfrom
gkreitz:extract_graders_model

Conversation

@gkreitz

@gkreitz gkreitz commented Aug 27, 2026

Copy link
Copy Markdown
Contributor

Extracting models + checks for graders

Progress on #398

Comment thread problemtools/judge/submission_judge.py
@pehrsoderman
pehrsoderman merged commit 7092d99 into Kattis:master Aug 27, 2026
7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants