36afb35e08
Update builder-db with content addressing
2024-01-09 13:32:13 +00:00
a333d4eb9d
verify_cache_dir: only consider where main_binary is present
2023-09-11 11:10:03 +02:00
c2cf97436d
whitespace cleanup in builder_db_app
2023-09-11 11:10:03 +02:00
6f30d5d144
Fix build of builder-web with more recent packages:
...
Cstruct.copy is deprecated
Mirage_crypto_rng_unix.initialize requires the RNG module as paramater (since mirage-crypto-rng 0.11.0)
Lwt_result.catch takes a function (unit -> 'a Lwt.t) since lwt 5.7.0
2023-08-25 10:09:21 +02:00
rand
5307a7b91a
add builder-db verify-cache-dir command ( #113 )
...
Co-authored-by: rand00 <oth.rand@gmail.com>
Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/113
Co-authored-by: rand <rand@r7p5.earth>
Co-committed-by: rand <rand@r7p5.earth>
2022-06-16 09:03:05 +00:00
6e75a653bc
Update to caqti 1.8.0
2022-04-22 12:20:43 +01:00
b6f6090ce5
Merge branch '20220221_fix_cmdliner_deprecations'
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/87
2022-03-16 10:42:35 +00:00
rand00
f68f383ba6
Fixed all binaries using cmdliner to avoid newly deprecated functions
2022-03-16 10:40:35 +00:00
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
Robur
7bb9e2d8fe
Allow -d as well as --datadir in commands
...
Fixes #86
2022-02-21 13:08:58 +00:00
5d33d4cfaf
builder-db: add extract-build command
...
This command synthesizes a file containing the ASN.1 representation of a
Builder build.
2021-12-07 17:13:21 +01:00
675b57a579
Rename Builder_db modules in bin/ and test/
...
They both depend on the Builder_db module in db/, and using the same
name confuses Merlin (as well as myself sometimes).
2021-11-15 15:12:16 +01:00
