Robur 5285872865 minor changes to main site		2021-06-30 11:38:02 +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	add tags to jobs: section and synopsis, inferred from the latest successful build	2021-06-29 14:59:08 +00:00
dune	Add the /job/:job/upload endpoint which receives a raw binary.	2021-06-09 14:26:05 +00:00
model.ml	Job_tag: try to retrieve the tag value - insert if none, update if some	2021-06-30 11:09:01 +00:00
model.mli	add tags to jobs: section and synopsis, inferred from the latest successful build	2021-06-29 14:59:08 +00:00
utils.ml	add tags to jobs: section and synopsis, inferred from the latest successful build	2021-06-29 14:59:08 +00:00
views.ml	minor changes to main site	2021-06-30 11:38:02 +00:00