Tobias Werth
Tobias Werth
This is an attempt to address https://github.com/DOMjudge/domjudge/issues/1558. I have likely forgotten quite a few places, and want to go through the usability.
27bc765094038b75f7aeb4bd8ffb92bff06f524e is the entry point hack we used for the finals both last and this year. I want to rearrange test sources a little bit so that they comply with...
We currently import the system.yaml (https://clics.ecs.baylor.edu/index.php?title=Contest_Control_System_Requirements#system.yaml) as part of the contest.yaml. While doing so, we set a bunch of config variables. One variable that we read is `clar-categories`. We import...
Kattis exposed a judge error to us, which was not shown in the external diff (probably because the submission was still judging on our side). We might want to extend...
With the new judgehost API it's trivial to add a task that checks the configuration of a judgehost, e.g. cgroups, kernel command line, turboboost etc. This isolate script should give...
Currently it's only possible to delete one team, problem, ... It would be nice to delete e.g. multiple teams at once.
In theory, we should everyone allow to read the event feed. However, before we can allow that we have to solve two issues: a) make sure that we don't leak...
This of course shouldn't apply when the Bazel release is requested explicitly. The need for this came up in the discussion of https://github.com/bazelbuild/bazel/issues/13502. Fortunately, Philipp came up with a fix...
I have a project which builds with bazel 0.15 but doesn't build with bazel at HEAD (I know I should have updated in between) so I have ~15 Bazel versions...
I thought that a newer run of the same CL would cancel any old runs, but it seems it doesn't work anymore:  Perhaps caused by skipped mac os presubmit...