3 commits

Author	SHA1	Message	Date
Robur	088b55acc3	remove failed builds from job page ... add a job page with failed builds, link to it	2021-11-17 16:39:49 +00:00
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
Reynir Björnsson	675b57a579	Rename Builder_db modules in bin/ and test/ ... They both depend on the Builder_db module in db/, and using the same name confuses Merlin (as well as myself sometimes).	2021-11-15 15:12:16 +01:00

Renamed from test/builder_db.ml (Browse further)