robur/unikernel-repo
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

update builder opam from upstream

Browse source
This commit is contained in:
Hannes Mehnert 2022-10-26 12:13:06 +02:00
parent e887cd761b
commit 272119f282
1 changed files with 17 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
packages/builder.0.3.2~dev/opam
View file

@ -1,6 +1,6 @@
opam-version: "2.0" opam-version: "2.0"
maintainer: "Hannes Mehnert <hannes@mehnert.org>" maintainer: "Robur <team@robur.coop>"
authors: ["Hannes Mehnert <hannes@mehnert.org>"] authors: ["Robur <team@robur.coop>"]
homepage: "https://github.com/roburio/builder" homepage: "https://github.com/roburio/builder"
dev-repo: "git+https://github.com/roburio/builder.git" dev-repo: "git+https://github.com/roburio/builder.git"
bug-reports: "https://github.com/roburio/builder/issues" bug-reports: "https://github.com/roburio/builder/issues"
@ -10,19 +10,18 @@ depends: [
"ocaml" {>= "4.08.0"} "ocaml" {>= "4.08.0"}
"dune" {>= "2.0.0"} "dune" {>= "2.0.0"}
"asn1-combinators" "asn1-combinators"
"bheap" "bheap" {>= "2.0.0"}
"bos" "bos"
"cmdliner" {>= "1.1.0"} "cmdliner" {>= "1.1.0"}
"cstruct" "cstruct" {>= "6.0.0"}
"duration" "duration"
"fmt" "fmt" {>= "0.8.7"}
"fpath" "fpath"
"logs" "logs"
"lwt" "lwt"
"ptime" "ptime"
"rresult"
"uuidm" "uuidm"
"http-lwt-client" {>= "0.0.2"} "http-lwt-client" {>= "0.1.0"}
"base64" "base64"
] ]
build: [ build: [
@ -33,6 +32,17 @@ build: [
] ]
synopsis: "Scheduling and executing shell jobs" synopsis: "Scheduling and executing shell jobs"
description: """
The builder server has a schedule of jobs to be executed, stored persistently
on disk. Any number of workers can connect via TCP (using ASN.1 encoded
messages) that execute a single job -- usually contained in a sandbox (FreeBSD
jail or Docker container). A client is a command-line interface to modify the
schedule. Access control is out of scope - run it locally on your build host.
The server receives the output artifacts of each job, and either stores them
on the local file system or upload them to a remote server via http.
See https://builds.robur.coop for the live web frontend (builder-web).
"""
url { url {
src: "git+https://github.com/roburio/builder.git" src: "git+https://github.com/roburio/builder.git"
} }