-
Notifications
You must be signed in to change notification settings - Fork 383
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.
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
Add batch prerequisites to site data interface #1890
Conversation
Codecov ReportAttention:
❗ Your organization needs to install the Codecov GitHub app to enable full functionality. Additional details and impacted files@@ Coverage Diff @@
## master #1890 +/- ##
==========================================
- Coverage 46.84% 46.82% -0.03%
==========================================
Files 250 251 +1
Lines 13275 13293 +18
==========================================
+ Hits 6219 6224 +5
- Misses 7056 7069 +13 ☔ View full report in Codecov by Sentry. |
I want to merge DMOJ/judge-server#1019 first. |
3449d61
to
777448d
Compare
The field was renamed to |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Will assume the UI changes are sane, LGTM once you rebase
1ad6b65
to
898fe1e
Compare
898fe1e
to
139b157
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM
In conjunction with DMOJ/judge-server#1013.
Here are results locally. Generator takes no arguments and always outputs the same case for convenience.
Essentially I copied all the code from generator args for the UI and made sure it works.
Although it's not an issue to merge this before the judge PR, it's rather nonsensical.