rand00 b564191b81 Re-enabled warnings as errors in dune file + fixed unused 'id' in builder_web.ml		2022-02-01 11:30:44 +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	Re-enabled warnings as errors in dune file + fixed unused 'id' in builder_web.ml	2022-02-01 11:30:44 +00:00
dune	Re-enabled warnings as errors in dune file + fixed unused 'id' in builder_web.ml	2022-02-01 11:30:44 +00:00
model.ml	Rewrite queries to take optional platform	2021-11-18 11:56:17 +01:00
model.mli	remove failed builds from job page	2021-11-17 16:39:49 +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	Views: Switch viz order + fixed iframe size	2022-02-01 11:30:44 +00:00