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
..
migrations	Adapt to build input files removal	2021-06-25 10:26:03 +00:00
builder_db.ml	Add job-remove command to builder-db	2021-06-29 08:56:18 +00:00
builder_web_app.ml	Add http status metrics middleware	2021-06-08 12:36:53 +00:00
dune	Add http status metrics middleware	2021-06-08 12:36:53 +00:00