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

Add pin-depends on opam-graph, modulectomy

Browse source 
Until they are released.
This commit is contained in:
Reynir Björnsson 2022-02-01 11:49:44 +00:00
parent 3fe07c7b34
commit 993d1171c2
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
builder-web.opam
View file

@ -55,3 +55,8 @@ 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#20211213_implementing_UI_scale_in_modulectomy.treemap"]
["opam-graph.dev" "git+https://git.robur.io/robur/opam-graph.git"]
]