Hannes Mehnert 3b98605fb7 redefine successful vs not successful build: ... a successful build is when the main_binary is NOT NULL, an unsuccessful is when main_binary is NULL		2023-09-11 11:28:38 +02:00
..
builder_db.ml	redefine successful vs not successful build:	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