rand00 82bcdf9f3b Views: Removed some opened records in parameters - ... .. prefix with record-name is more safe and less cumbersome		2022-02-03 14:06:11 +01: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	Views++: Made long parameter-lists into named parameters	2022-02-03 13:27:22 +01:00
dream_tar.ml	Add .../all.tar endpoint with artifacts	2022-01-25 20:01:08 +00:00
dune	Merge branch 'tar'	2022-02-01 12:21:56 +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	Utils: Moved omd-helpers into Omd submodule here	2022-02-02 22:59:32 +01:00
views.ml	Views: Removed some opened records in parameters -	2022-02-03 14:06:11 +01:00