builder-web/lib/dune

(library
 (name builder_web)
 (libraries
  builder
  builder_db
  dream
  tyxml
  bos
  duration
  hex
  caqti-lwt
  opamdiff
  ptime.clock.os
  omd
  tar
  owee
  solo5-elftool
  uri
  ))
Initial commit 2020-12-02 13:33:15 +00:00			`(library`
			`(name builder_web)`
Treemap scale: Passing on binary-size to new Treemap renderer 2021-12-13 19:21:43 +00:00			`(libraries`
Automatic viz migration on builder-web startup (#111) Co-authored-by: rand00 <oth.rand@gmail.com> Reviewed-on: https://git.robur.io/robur/builder-web/pulls/111 Co-authored-by: Reynir Björnsson <reynir@reynir.dk> Co-committed-by: Reynir Björnsson <reynir@reynir.dk> 2022-06-08 10:18:46 +00:00			`builder`
			`builder_db`
			`dream`
			`tyxml`
			`bos`
			`duration`
			`hex`
			`caqti-lwt`
			`opamdiff`
			`ptime.clock.os`
			`omd`
			`tar`
Add Solo5 device manifest to job_build A user browsing a build can view what network and block devices the unikernel expects before downloading the unikernel. 2021-12-14 11:02:35 +00:00			`owee`
			`solo5-elftool`
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			`uri`
minor stylistic adjustments from reading git diff -w 0afec16..6f3c89c 2022-02-24 13:05:06 +00:00			`))`