New interface for summary page

CakeML / regression

Regression testing infrastructure for CakeML

https://cakeml.org/regression.cgi

GNU General Public License v3.0

3 stars 8 forks source link

Closed agomezl closed 5 years ago

agomezl commented 5 years ago

2019-05-10-002835_777x948_scrot

A list of up-to 10 jobs are displayed in 3 categories (running,finished, aborted) just as before
New paths /queue/{running,finished,aborted} to display the full list of jobs in each category
CSS style was modified
Extra information was added on each job row (time,HEAD,merge-base,HOL commit, and worker)

myreen commented 5 years ago

This looks great!