Reynir Björnsson 58d05ba908 Add more json to endpoints, populate-local.sh ... Some basic json is added to the endpoints that list jobs and builds. With this a script populate-local.sh can be used to fetch a number of builds from a remote instance and upload them to a local instance. This is useful for populating an instance with real builds for testing purposes. Closes #11.		2025-01-16 14:49:23 +01:00
..
authorization.ml	Update to dream.1.0.0~alpha4	2022-04-22 12:37:01 +01:00
builder_web.ml	Add more json to endpoints, populate-local.sh	2025-01-16 14:49:23 +01:00
dream_tar.ml	Update to tar 3.0.0	2024-08-14 16:13:35 +02:00
dune	remove usage of cstruct, require mirage-crypto 1.0.0	2024-09-02 16:14:26 +02:00
link.ml	Refactor and address #127	2022-07-12 13:14:52 +02:00
model.ml	console_of_string: be a bit more robust	2025-01-15 13:44:27 +01:00
model.mli	Add exec endpoint	2025-01-14 17:11:35 +01:00
utils.ml	Make json structure uniform	2024-12-29 07:38:51 +00:00
views.ml	Add more json to endpoints, populate-local.sh	2025-01-16 14:49:23 +01:00