builder-web/db
Hannes Mehnert b27570ef11 Builder_db: get_all_failed, get_failed_builds: reconsider failed builds
As remarked by @reynir, consider builds with no main_binary as failed.
2023-09-11 11:28:38 +02:00
..
builder_db.ml Builder_db: get_all_failed, get_failed_builds: reconsider failed builds 2023-09-11 11:28:38 +02:00
builder_db.mli Update to caqti 1.8.0 2022-04-22 12:20:43 +01:00
dune User authentication and upload endpoint 2021-01-21 10:11:37 +01:00
representation.ml Migration changing uuids from byte to hex format in db 2022-05-16 15:43:58 +02:00