Closed niknetniko closed 1 year ago
Time limit exceeded (or memory limit exceeded in theory) were not propagated to the results properly if a submissions was executed in one go.
This PR fixes this and adds a test for it.
Fixes an underlying issue of #342.
Time limit exceeded (or memory limit exceeded in theory) were not propagated to the results properly if a submissions was executed in one go.
This PR fixes this and adds a test for it.
Fixes an underlying issue of #342.