Display Producer Statistics

codalab / chahub

2 stars 2 forks source link

Closed Tthomas63 closed 5 years ago

ckcollab commented 5 years ago

Reminder: we should put screenshots of progress, especially for comparing current -> what's changing

ckcollab commented 5 years ago

@madclam here's a link to see general stats display, so far: https://codalabchahub-pr-135.herokuapp.com/

And you can see the screenshots above for comparison, would love a 👍 or 👎

ckcollab commented 5 years ago

NOTE: Showing Isabelle this now

madclam commented 5 years ago

This looks nice.

which statistics does this show: for which server? It may be good to show those corresponding to the given query. The remove "chahub brings together".
when we collapse, this does not result in gaining more width
what are "datasets"? For the moment we do not push "datasets" to chahub, right? In the future, what will those be (still to be defined).
right now the numbers shown are all zeros.