Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update unikernel with new build from builds.robur.coop #105

Merged
merged 36 commits into from
Feb 10, 2025

pass json dict instead of string

40a4b74
Select commit
Loading
Failed to load commit list.
Merged

Update unikernel with new build from builds.robur.coop #105

pass json dict instead of string
40a4b74
Select commit
Loading
Failed to load commit list.
Cirrus CI / freebsd failed Feb 6, 2025 in 9m 16s

Task Summary

Instruction depend failed in 00:13

Details

⚠️ Not enough compute credits to prioritize tasks!

✅ 00:00 clone
✅ 00:41 pkg_install
✅ 06:10 ocaml
✅ 02:06 mirage
✅ 00:01 configure
❌ 00:13 depend

[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
[WARNING] Unknown variable "with-dev-setup"
opam-monorepo: [ERROR] Some dependencies cannot be built with dune!

opam-monorepo requires that all dependencies use dune as their build system.

These dependencies (possibly transitive) don't use dune as their build system:
- ocaml-compiler

The dune-universe opam repository (git+https://github.com/dune-universe/opam-overlays.git) contains dune ports of some popular packages to help build more packages with dune however it appears to already be set up on this switch. Thus it is possible that no dune port exists for any of these packages.

For information on how to contribute a new dune port, see: https://github.com/dune-universe/opam-overlays
�[2mremoving overlay repository [opam-overlays, mirage-overlays]�[0m
[WARNING] Running as root is not recommended
Repositories removed from the selections of switch 4.14.2. Use '--all' to forget about them altogether.
[WARNING] Running as root is not recommended
Repositories removed from the selections of switch 4.14.2. Use '--all' to forget about them altogether.
gmake[2]: *** [Makefile:36: mirage/mollymawk-hvt.opam.locked] Error 1
gmake[1]: *** [Makefile:39: lock] Error 2
gmake: *** [Makefile:54: depend] Error 2

Exit status: 2��
View more details on Cirrus CI