rand00
|
6a1c8b0ecd
|
Builder_web_app: Fixed type-error + some 80-column fixes
|
2022-04-11 18:12:23 +02:00 |
|
|
1adc67c297
|
minor nits
|
2022-04-11 16:26:58 +02:00 |
|
rand00
|
68849fecf3
|
Fixed that cachedir should default to being relative to given datadir
|
2022-04-06 13:47:07 +02:00 |
|
rand00
|
1207ddbf70
|
Merge branch 'main' into 20220329_passing_separate_cache-dir
|
2022-04-06 13:31:42 +02:00 |
|
rand00
|
ab3be6ec8e
|
builder-web: Added --cachedir CLI arg for staging new vizs
|
2022-03-29 22:27:24 +02:00 |
|
rand00
|
462859f4fb
|
Builder-viz: Changed sharing-stats to be based on direct deps instead of transitive
|
2022-03-18 13:16:26 +01:00 |
|
rand00
|
34a8bf9160
|
Builder-viz: Passing transitive deps stats for coloring of nodes in opam-graph
|
2022-03-17 16:31:07 +01:00 |
|
rand00
|
60ee718160
|
Merged with main/master
|
2022-03-16 12:10:25 +01:00 |
|
rand
|
b2b593796a
|
Merge pull request 'Supporting new modulectomy scoping of CSS' (#98) from 20220315_supporting_new_modulectomy_scoping_of_CSS into main
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/98
|
2022-03-16 11:03:06 +00: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
|
1bcb6d0cef
|
Merged with stash
|
2022-03-15 18:41:57 +01:00 |
|
rand00
|
bfd0299844
|
Builder-viz: Supporting new modulectomy scoping of CSS
|
2022-03-15 13:15:25 +01: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 |
|
|
f7bc55f2e3
|
execute all executables in <conigdir>/upload-hooks when an upload succeeded
Only uploads with a single main binary invoke the hooks (since they use the
main_binary)
|
2022-02-21 13:05:16 +00:00 |
|
rand00
|
550dd59a19
|
Builder-web: Implemented better page-not-found
|
2022-02-21 12:13:51 +00:00 |
|
|
3fe07c7b34
|
Clean up trailing spaces
|
2022-02-01 11:43:07 +00:00 |
|
rand00
|
2a1b75ba2b
|
Removals of uncommented code and unneccesary parens
|
2022-02-01 11:30:44 +00:00 |
|
rand00
|
302d53835a
|
bin/Builder-viz: Added override_css params to viz's + used them to define a common theme
|
2022-02-01 11:30:44 +00:00 |
|
rand00
|
95ef54fc82
|
bin/Builder-viz: Added dependencies visualization
|
2022-02-01 11:30:44 +00:00 |
|
rand00
|
f3178cace0
|
bin/Builder-viz: Printing html + Syntax
|
2022-02-01 11:30:44 +00:00 |
|
rand00
|
289a58d9dc
|
Refactored treemap visualization into separate binary + Cmdliner CLI interface
|
2022-02-01 11:30:44 +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 |
|
|
e57d880c44
|
sql: use $N instead of ?N as numbered placeholder
|
2021-11-18 11:40:15 +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 |
|
Robur
|
b43c6f4d79
|
Refactor default_datadir into library builder_system
|
2021-11-12 13:22:43 +00:00 |
|
|
977678b325
|
Detect datadir by platform
|
2021-11-12 13:04:51 +00:00 |
|
Robur
|
e69d1beb9f
|
Add platform to build table
|
2021-11-05 10:45:26 +00:00 |
|
|
a9ff2dd033
|
Remove rresult
|
2021-11-05 10:10:44 +00:00 |
|
|
4a42cffc6c
|
verify-data-dir: change level for untracked files
Untracked files are not necessarily an error so log at warning level
instead.
|
2021-09-14 16:03:12 +02:00 |
|
|
70e240e7b0
|
verify-data-dir: check for untracked files
|
2021-09-14 14:45:27 +02:00 |
|
|
71a016fdae
|
Fix up mix up
When builds were uploaded the script and console was mixed up. This
commit fixes that and includes a fixup migration script.
|
2021-09-10 13:00:04 +02:00 |
|
Robur
|
dd6535296d
|
use Cstruct.length instead of deprecated Cstruct.len
|
2021-09-08 09:11:54 +00:00 |
|
Robur
|
8279bc1c26
|
store relative path for console and script
|
2021-09-07 11:53:51 +00:00 |
|
Robur
|
0628938898
|
verify-data-dir: check build script & console as well
|
2021-09-07 10:04:54 +00:00 |
|
Robur
|
f7823da321
|
fix console output order
|
2021-09-07 10:04:11 +00:00 |
|
Robur
|
0efcec460d
|
fix
|
2021-09-07 09:35:26 +00:00 |
|
Robur
|
4126cab805
|
Fix migration M20210712c
|
2021-09-07 09:35:26 +00:00 |
|
Robur
|
94feffdcc2
|
Fixup builder-migrations: add M20210712c
|
2021-09-07 09:35:26 +00:00 |
|
|
3fe6e83300
|
M20210712c: fix rollback
|
2021-09-07 09:35:26 +00:00 |
|
|
10f78877e9
|
M20210712c: fix indentation for clarity
|
2021-09-07 09:35:26 +00:00 |
|
Robur
|
17420c389b
|
WIP
|
2021-09-07 09:35:26 +00:00 |
|
Robur
|
0d918192ea
|
builder_db.exe: verify_data_dir verifies job name and uuid as well
|
2021-09-07 09:22:25 +00:00 |
|
Robur
|
392286dd98
|
remove README.md and build-hashes from build_artifact table and file system
no longer store full file on disk
|
2021-07-12 14:10:54 +00:00 |
|
Robur
|
928821fec6
|
fix migration 2021-07-12
|
2021-07-12 13:42:13 +00:00 |
|
Robur
|
9195c91ab5
|
remove result_kind from build table (de-duplicate information), add some indexes
|
2021-07-12 13:31:36 +00:00 |
|
|
e8f918230f
|
verify-data-dir-stream (#50)
builder-db verify-data-dir: stream build artifacts
Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/50
Co-Authored-By: hannes <hannes@mehnert.org>
Co-Committed-By: hannes <hannes@mehnert.org>
|
2021-07-12 10:42:03 +00:00 |
|
Robur
|
7c4bf56da6
|
builder_db: add a verify-data-dir subcommand
This subcommand checks that all files in the build_artifact table
are present in the data directory. Also, their size and hash must
match.
|
2021-07-07 13:33:26 +00:00 |
|
Robur
|
b09001916b
|
fixup 2021-07-07d: remove initial ./ from fpath
|
2021-07-07 13:00:57 +00:00 |
|