Hannes Mehnert 848186bd1a make the expiry of jobs configurable via cli (default 30)		2023-09-19 15:07:47 +02:00
..
authorization.ml
builder_web.ml	make the expiry of jobs configurable via cli (default 30)	2023-09-19 15:07:47 +02:00
dream_tar.ml	Fix build of builder-web with more recent packages:	2023-08-25 10:09:21 +02:00
dune	auto-format	2023-09-12 13:10:10 +02:00
link.ml
model.ml	Fix compilation	2023-03-13 15:25:52 +00:00
model.mli
utils.ml	Adjust heading from README to at least level 2 (fixes #164)	2023-09-11 10:22:16 +02:00
views.ml	only show active jobs, fixes #162	2023-09-19 15:07:47 +02:00