builder-web/bin
rand00 5897484cb2 Fixed that Builder_db_app.job_remove didn't take all related tables into account
+ Added a function for making a db-id into an int64 for printing
2022-02-22 13:16:42 +01:00
..
migrations Allow -d as well as --datadir in commands 2022-02-21 13:08:58 +00:00
visualizations Clean up trailing spaces 2022-02-01 11:43:07 +00:00
builder_db_app.ml Fixed that Builder_db_app.job_remove didn't take all related tables into account 2022-02-22 13:16:42 +01:00
builder_system.ml execute all executables in <conigdir>/upload-hooks when an upload succeeded 2022-02-21 13:05:16 +00:00
builder_web_app.ml execute all executables in <conigdir>/upload-hooks when an upload succeeded 2022-02-21 13:05:16 +00:00
dune builder-db: add extract-build command 2021-12-07 17:13:21 +01:00