Robur 0910a05bbd builds: improve comparisons (text and query) to earlier and later builds ... only take into consideration the builds that have a different output		2021-11-17 15:28:15 +00:00
..
authorization.ml	Add an access_list to grant per-job user upload permissions	2021-06-08 14:54:23 +00:00
builder_web.ml	builds: improve comparisons (text and query) to earlier and later builds	2021-11-17 15:28:15 +00:00
dune	Remove rresult	2021-11-05 10:10:44 +00:00
model.ml	builds: improve comparisons (text and query) to earlier and later builds	2021-11-17 15:28:15 +00:00
model.mli	builds: improve comparisons (text and query) to earlier and later builds	2021-11-17 15:28:15 +00:00
utils.ml	improve comparison page and always link with current build as head (right_build)	2021-11-12 13:01:20 +00:00
views.ml	builds: improve comparisons (text and query) to earlier and later builds	2021-11-17 15:28:15 +00:00