Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upAdd more data to judgehosts page #368
Comments
Summary line: should only average over active judgehosts I think. Or even: only on active+green? Which judging: this could be defined as judging where judgehost = hostname and endtime is null and valid = 1; maybe take most recent one when multiple? Alternative: display the submission instead. What is the usecase for having this in the overview? |
Just active, don't have to be green |
Probably over active+green. The point is to see the pressure on judgehosts and whether e.g. more are needed.
The use-case is: a judgehost is taking a long time and might already show orange. Then it would be nice to quickly see what it is (supposed to be) working on, without having to ssh into it. |
We should add more data to the judgehosts overview page: