robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
350 commits 8 branches 2 tags 6.5 MiB
Commit graph

106 commits

Author SHA1 Message Date
Reynir Björnsson
6e75a653bc Update to caqti 1.8.0 2022-04-22 12:20:43 +01:00
rand
0f493e9b47 Removing trailing slashes (#80) 
This PR solves the issue of there being both "<url>/" and "<url>" paths, that in the builder-web context shouldn't mean different things.

The slashes are now removed using a `Dream` middleware, and the request is redirected using a permanent redirect (that doesn't change the method used): https://developer.mozilla.org/en-US/docs/Web/HTTP/Headers/Location

Notable changes:
* Trailing slashes from the hardcoded link urls were removed, as unneccesary redirects are then avoided.
* All links in `Views` were rewritten to be absolute instead of relative.
* As `Dream` deprecated `path` - `Utils.Path` was created containing some helpers for manipulating paths. *Note that `String.split_on_char` has a different semantics.*
* A blacklist `routeprefix_blacklist_when_removing_trailing_slash` was added, containing `Dream` route-prefixes to ignore.
* Only `GET` and `HEAD` requests are redirected.
* `redirect_parent` helper was rewritten using new `Utils.Path` functions to avoid brittle string manipulation + fixed the edgecase of redirecting to `/`.
* Added `Uri` dependency to make URL manipulation safer.

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/80
Co-authored-by: rand <rand@r7p5.earth>
Co-committed-by: rand <rand@r7p5.earth>
 2022-04-21 10:40:21 +00:00
rand00
6a1c8b0ecd Builder_web_app: Fixed type-error + some 80-column fixes 2022-04-11 18:12:23 +02:00
Hannes Mehnert
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
Reynir Björnsson
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
Hannes Mehnert
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
Reynir Björnsson
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
Reynir Björnsson
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
Reynir Björnsson
e57d880c44 sql: use $N instead of ?N as numbered placeholder 2021-11-18 11:40:15 +01:00
Reynir Björnsson
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
Reynir Björnsson
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
Reynir Björnsson
a9ff2dd033 Remove rresult 2021-11-05 10:10:44 +00:00
Reynir Björnsson
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
Reynir Björnsson
70e240e7b0 verify-data-dir: check for untracked files 2021-09-14 14:45:27 +02:00
Reynir Björnsson
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
Reynir Björnsson
3fe6e83300 M20210712c: fix rollback 2021-09-07 09:35:26 +00:00
Reynir Björnsson
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
hannes
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