Skip to content

Comments

Custom checkers consistent with CMS now#241

Merged
jabbawookiees merged 3 commits intomainfrom
custom-checker-input
Apr 2, 2025
Merged

Custom checkers consistent with CMS now#241
jabbawookiees merged 3 commits intomainfrom
custom-checker-input

Conversation

@gfmortega
Copy link
Contributor

  • Args include the input_file now
  • Score is the first line (and the only thing read)

@jabbawookiees jabbawookiees merged commit 26d6ef4 into main Apr 2, 2025
1 check failed
@jabbawookiees jabbawookiees deleted the custom-checker-input branch April 2, 2025 15:42
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