Robur 009fa49e9e render README from latest build (preserved as a tag value in job_tag table)		2021-06-30 12:47:30 +00:00
..
authorization.ml	Add an access_list to grant per-job user upload permissions	2021-06-08 14:54:23 +00:00
builder_web.ml	render README from latest build (preserved as a tag value in job_tag table)	2021-06-30 12:47:30 +00:00
dune	render README from latest build (preserved as a tag value in job_tag table)	2021-06-30 12:47:30 +00:00
model.ml	render README from latest build (preserved as a tag value in job_tag table)	2021-06-30 12:47:30 +00:00
model.mli	render README from latest build (preserved as a tag value in job_tag table)	2021-06-30 12:47:30 +00:00
utils.ml	add tags to jobs: section and synopsis, inferred from the latest successful build	2021-06-29 14:59:08 +00:00
views.ml	render README from latest build (preserved as a tag value in job_tag table)	2021-06-30 12:47:30 +00:00