Reynir Björnsson 37e68f91f4 Handle jobs without successful build in migrations ... The migrations migrate-2021-06-29 and migrate-2021-06-30 would not apply if a job exists without any successful build. Now the migrations script silently skips jobs without succesful builds.		2021-07-01 10:56:14 +02:00
..
migrations	Handle jobs without successful build in migrations	2021-07-01 10:56:14 +02: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