update builder-web from upstream
This commit is contained in:
parent
3953e7d270
commit
7ce4cb8e82
1 changed files with 17 additions and 10 deletions
|
@ -15,10 +15,14 @@ build: [
|
||||||
]
|
]
|
||||||
|
|
||||||
depends: [
|
depends: [
|
||||||
"builder" {>= "0.2.0~dev"}
|
"ocaml" {>= "4.10.0"}
|
||||||
|
"dune" {>= "2.7.0"}
|
||||||
|
"builder" {>= "0.2.0"}
|
||||||
"dream" {>= "1.0.0~alpha2"}
|
"dream" {>= "1.0.0~alpha2"}
|
||||||
|
"cstruct" {>= "6.0.0"}
|
||||||
"bos"
|
"bos"
|
||||||
"hex"
|
"hex"
|
||||||
|
"lwt" {>= "5.3.0"}
|
||||||
"caqti"
|
"caqti"
|
||||||
"caqti-lwt"
|
"caqti-lwt"
|
||||||
"caqti-driver-sqlite3"
|
"caqti-driver-sqlite3"
|
||||||
|
@ -27,27 +31,30 @@ depends: [
|
||||||
"scrypt-kdf"
|
"scrypt-kdf"
|
||||||
"alcotest" {with-test}
|
"alcotest" {with-test}
|
||||||
"opam-core"
|
"opam-core"
|
||||||
"opam-format"
|
"opam-format" {>= "2.1.0"}
|
||||||
"metrics"
|
"metrics" {>= "0.3.0"}
|
||||||
"metrics-lwt"
|
"metrics-lwt" {>= "0.3.0"}
|
||||||
"metrics-influx"
|
"metrics-influx" {>= "0.3.0"}
|
||||||
"metrics-rusage"
|
"metrics-rusage" {>= "0.3.0"}
|
||||||
"ipaddr"
|
"ipaddr"
|
||||||
"tyxml"
|
"tyxml" {>= "4.3.0"}
|
||||||
"ptime"
|
"ptime"
|
||||||
"duration"
|
"duration"
|
||||||
"rresult"
|
|
||||||
"mirage-crypto"
|
"mirage-crypto"
|
||||||
"asn1-combinators"
|
"asn1-combinators"
|
||||||
"logs"
|
"logs"
|
||||||
"cmdliner"
|
"cmdliner"
|
||||||
"uri"
|
"uri"
|
||||||
"fmt"
|
"fmt" {>= "0.8.7"}
|
||||||
"omd"
|
"omd"
|
||||||
]
|
]
|
||||||
|
|
||||||
synopsis: "Web interface for builder"
|
synopsis: "Web interface for builder"
|
||||||
|
description: """
|
||||||
|
Builder-web takes in submissions of builds, typically from [builder](https://github.com/roburio/builder/), and displays the produced artifacts in a way that makes it easy to compare checksums and build status.
|
||||||
|
Produced binaries can be downloaded and executed.
|
||||||
|
[builds.robur.coop](https://builds.robur.coop/) itself runs builder-web.
|
||||||
|
"""
|
||||||
url {
|
url {
|
||||||
src: "git+https://git.robur.io/robur/builder-web.git"
|
src: "git+https://git.robur.io/robur/builder-web.git"
|
||||||
}
|
}
|
Loading…
Reference in a new issue