#!/bin/sh set -ex wget -O orb.deb 'https://builds.robur.coop/job/orb/build/latest/f/bin/orb.deb?platform=debian-12' apt install --no-install-recommends --no-install-suggests -y ./orb.deb rm orb.deb DEBIAN_FRONTEND=noninteractive apt install --no-install-recommends --no-install-suggests -y dh-exec repos="default:https://opam.ocaml.org,upstream:git+https://github.com/ocaml/opam-repository.git,local:http://10.0.0.12/" orb build --disable-sandboxing --solver-timeout=600 --switch-name=/tmp/myswitch --date=1589138087 --out=. --repos=$repos mirage-unikernel-dns-resolver-hvt.dev