|
|
de5a4f3f87
|
builder_db_app: add time-size-graph subcommand, which outputs binary size and build duration of a job
|
2023-03-10 17:39:18 +01:00 |
|
|
|
4b976e9d04
|
bin/builder_db_app: cleanup whitespace
|
2023-03-10 14:44:19 +01: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 |
|
