Reynir Björnsson a3f9e9aba0 Add job-remove command to builder-db ... `builder-db job-remove job-name` removes a job from builder-web including its associated files.		2021-06-29 08:56:18 +00:00
..
builder_db.ml	Add job-remove command to builder-db	2021-06-29 08:56:18 +00:00
builder_db.mli	Add job-remove command to builder-db	2021-06-29 08:56:18 +00:00
dune	User authentication and upload endpoint	2021-01-21 10:11:37 +01:00
representation.ml	Add an access_list to grant per-job user upload permissions	2021-06-08 14:54:23 +00:00