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

Compare commits

base: robur:6d01cfce955e4646f8817eab841f38155d209b73
Branches Tags
robur:main
...
compare: robur:07821cbe8788030f9e5433b461192cf8720dacc4
Branches Tags
robur:main

2 commits
6d01cfce95 ... 07821cbe87

Author SHA1 Message Date
Reynir Björnsson
07821cbe87 Merge pull request 'Pin builder' (#2) from pin-builder into main 
Reviewed-on: https://git.robur.coop///robur/unikernel-repo/pulls/2
 2024-08-29 08:32:35 +00:00
Reynir Björnsson
201c82e837 Pin builder 
Due to builder now depending on versions that will make builder-web
break...
 2024-08-29 10:30:59 +02:00
1 changed files with 1 additions and 1 deletions
Show stats Expand all files Collapse all files

2
packages/builder.0.3.99~dev/opam
View file

@ -44,5 +44,5 @@ 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 {
src: "git+https://github.com/robur-coop/builder.git"
src: "git+https://github.com/robur-coop/builder.git#6a2682c26259ebe8a05c671ce526d1e23c76f7ea"
}