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

Update builder-web.opam

Browse source 
New test dependencies, remove old unnecessary pins
This commit is contained in:
Reynir Björnsson 2022-07-07 17:34:54 +02:00
parent 148ddacbe8
commit 535e3c33fa
1 changed files with 3 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
builder-web.opam
View file

@ -29,7 +29,6 @@ depends: [
"pbkdf" "pbkdf"
"mirage-crypto-rng" "mirage-crypto-rng"
"scrypt-kdf" "scrypt-kdf"
"alcotest" {with-test}
"opam-core" "opam-core"
"opam-format" {>= "2.1.0"} "opam-format" {>= "2.1.0"}
"metrics" {>= "0.3.0"} "metrics" {>= "0.3.0"}
@ -51,6 +50,9 @@ depends: [
"owee" "owee"
"solo5-elftool" {>= "0.3.0"} "solo5-elftool" {>= "0.3.0"}
"decompress" "decompress"
"alcotest" {with-test}
"ppx_deriving" {with-test}
"ppx_deriving_yojson" {with-test}
] ]
synopsis: "Web interface for builder" synopsis: "Web interface for builder"
@ -59,8 +61,3 @@ Builder-web takes in submissions of builds, typically from [builder](https://git
Produced binaries can be downloaded and executed. Produced binaries can be downloaded and executed.
[builds.robur.coop](https://builds.robur.coop/) itself runs builder-web. [builds.robur.coop](https://builds.robur.coop/) itself runs builder-web.
""" """
pin-depends: [
["modulectomy.dev" "git+https://github.com/roburio/modulectomy.git"]
["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"]
]