Keenan G

judge: report (textually) the end of batches

3

Before this change:  After: 

judgeenv: properly specify a default in docker

1

What we probably want to do here is have a default when we are in docker. Right now, if the model_file exists, the default is completely ignored.

judgeenv: parse arguments outside of try

1

Although it's nonsense to spawn a judge without a model_file, it's also nonsense to parse these args in this try, because it leads to useless error messages. Specifically, the judge...

judge: clarify short-circuit behaviour and test short circuit

3

The previous code was a bit hard to follow.

cptbox: compare projected with real instead of normalized

3

We should compare `projected` with `real` instead of `normalized`. This is because if our file is `/proc/self/maps`, the projected will be `/proc/getpid()/maps`, and the real path is `/proc/getpid()/maps`. We do...

executors: fix typing on `compiler_fs`

4

We rely on the `fs` being a list in order to add it to other lists, so we should type it accordingly. MyPy complains about typing in some executors unless...

declare `proc_dir` earlier and resolve exact proc_dir

2

We can declare the proc directory earlier in the code and use it. We intentionally add a trailing slash on line 352, in case for instance, the process PID is...

Increase Precision on Relative Time Offsets

1

On things like contests and submissions, relative times are given. Unfortunately, they aren't that precise. "2 hours ago" can mean anything from 1:30 to 2:30. I was going to PR...

Add Testing Participation Type

2

Depends on #1886. Lots of code was refactored in order for this change to not be horrible to implement. This is a hefty change, so testing from others would be...