702d38a6cc
Use Not found for missing visualizations
2022-04-22 12:41:55 +01:00
3de78b1113
Update to dream.1.0.0~alpha4
...
- Dream.path is deprecated. For now the deprecation is suppressed.
- Remove unused dream_svg.
- Remove datadir global. The datadir variable is in scope already, and
global variables were removed in alpha3.
- Dream_tar.tar_response: flush before closing. It's unclear if this is
necessary.
- Change Builder_web.add_routes to Builder_web.routes returning a list
of routes, and in Builder_web_app construct the router.
- Builder_web.not_found is removed due to changes in Dream.router. It
seems an error handler might be the way forward.
2022-04-22 12:37:01 +01:00
6e75a653bc
Update to caqti 1.8.0
2022-04-22 12:20:43 +01:00
c72ff72e0d
Merge pull request 'use ignorelist to transmit the intention' ( #105 ) from minor-wording into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/105
2022-04-22 11:20:01 +00:00
6190347401
use ignorelist to transmit the intention
2022-04-21 20:55:19 +02: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
e5a2b6fc0e
Merge pull request 'Redirect /job to / and /job/:job/build to /job/:job' ( #104 ) from redirect-job-and-build into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/104
2022-04-11 16:23:38 +00:00
rand00
010197d900
Builder_web: Fixed type-errors + usage of correct dream queries helper
2022-04-11 18:19:54 +02:00
rand00
8f173295ab
Merge branch 'main' into redirect-job-and-build
2022-04-11 18:13:12 +02:00
rand00
6a1c8b0ecd
Builder_web_app: Fixed type-error + some 80-column fixes
2022-04-11 18:12:23 +02:00
a132a181c8
add ? before query parameters
2022-04-11 17:08:10 +02:00
3bee8a357d
add query params to redirect
2022-04-11 16:54:28 +02:00
rand
2e601ac181
Merge pull request 'builder-web: Added --cachedir CLI param for staging new vizs' ( #102 ) from 20220329_passing_separate_cache-dir into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/102
2022-04-11 14:43:03 +00:00
1adc67c297
minor nits
2022-04-11 16:26:58 +02:00
4c3a5986d6
Redirect /job to / and /job/:job/build to /job/:job
...
replaces #81
2022-04-11 16:23:45 +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
rand
08620589f0
Merge pull request 'Added usage-descriptions on mouse-over on '?' below each visualzation (not mobile compatible)' ( #101 ) from 20220325_viz_descriptions into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/101
2022-03-30 10:28:17 +00:00
rand
258ffbd979
Merge branch 'main' into 20220325_viz_descriptions
2022-03-30 10:26:00 +00:00
rand
7b08045114
Merge pull request 'Updates related to new opam-graph nodes-sharing-color' ( #100 ) from 20220317_opam-graph_updates into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/100
2022-03-30 10:24:58 +00:00
rand
c82e94805e
Merge pull request 'packaging/visualizations.sh: Made compatible with Linux too' ( #99 ) from 20220321_fixed_visualizations.sh_for_Linux into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/99
2022-03-30 10:24:34 +00:00
rand00
ab3be6ec8e
builder-web: Added --cachedir CLI arg for staging new vizs
2022-03-29 22:27:24 +02:00
rand00
1827320f8c
Builder_web: Removed boilerplate for generating vizs
2022-03-29 14:00:13 +02:00
rand00
ef253b7b87
Views: Added usage-descriptions on mouse-over on '?' below each visualzation (not mobile compatible)
2022-03-29 12:56:11 +02:00
rand00
edcfa1c8ce
Merged with visualizations.sh fixes
2022-03-23 20:55:38 +01:00
rand00
9a8f902d3c
packaging/visualizations.sh: Failing when unsupported platform
2022-03-23 20:54:35 +01:00
rand00
46f661ddd6
packaging/visualizations.sh: Changed todo-comments
2022-03-23 20:46:41 +01:00
rand00
d90cbea35c
Views: Removed visual border from viz iframes + size fix
2022-03-23 20:38:22 +01:00
rand00
837484a393
Merge branch '20220321_fixed_visualizations.sh_for_Linux' into 20220317_opam-graph_updates
2022-03-21 14:23:11 +01:00
rand00
140d661254
packaging/visualizations.sh: Made compatible with Linux too
2022-03-21 13:51:23 +01: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
rand
7356950897
Merge pull request 'Supporting new opam-graph scoping of CSS' ( #97 ) from 20220315_supporting_new_opam-graph_scoping_of_CSS into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/97
2022-03-16 11:10:59 +00: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
dbf3d84471
Fix deprecated uuidm usage
2022-03-16 10:44:23 +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
c41b9808d5
builder-web.opam: Added pin-depend on Roburs modulectomy fork again - would like to merge this before modulectomy is released
2022-03-15 18:54:12 +01:00
rand00
1bcb6d0cef
Merged with stash
2022-03-15 18:41:57 +01:00
rand00
2a3130b170
builder-web.opam: Removed pin-depend on modulectomy, as this PR depends on coming released version
2022-03-15 13:17:49 +01:00
rand00
bfd0299844
Builder-viz: Supporting new modulectomy scoping of CSS
2022-03-15 13:15:25 +01:00
0e7e7e3357
Merge pull request 'dpkg-repo: repackage in TMP/pkg, use TMP as output directory' ( #96 ) from fix-dpkg-repo into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/96
2022-03-08 12:41:47 +00:00
9ab6921105
dpkg-repo: repackage in TMP/pkg, use TMP as output directory
...
This avoids the deb file containing itself, and having a /builder-... installed.
2022-03-07 18:37:17 +01:00
65f29ad8aa
rename FreeBSD package to builder-web
2022-03-03 15:26:04 +01:00
4444314ead
Merge pull request 'Include more information on the front page, especially how unikernels can be executed.' ( #95 ) from some-notes-on-front into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/95
2022-03-03 11:41:35 +00:00
eef8e54776
Include more information on the front page, especially how unikernels can be executed.
2022-03-03 11:36:09 +01:00
9cb0e2683c
FreeBSD package repository: use . as separator when checking whether package already exists
2022-02-28 15:09:25 +01:00
Robur
078d48730d
Debian package repository: take aptly repo vs publish into account
2022-02-25 13:34:24 +00:00
Robur
ca5b16a161
Debian repo script: no need to pass architectures
2022-02-25 13:20:13 +00:00
