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

Merge pull request 'Pin builder' (#2) from pin-builder into main

Browse source 
Reviewed-on: https://git.robur.coop///robur/unikernel-repo/pulls/2
This commit is contained in:
Reynir Björnsson 2024-08-29 08:32:35 +00:00
commit 07821cbe87
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file 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"
}