Pipelines
dune-universe/mirage-opam-overlays
active pipelines
PR #7: add zarith 1.13 release: ✔️ @0eabe4c (5m04s)
PR #6: The last version of gmp requires ocaml-solo5.0.8.3 at least: ✔️ @d701c8a (8m42s)
dune-universe/opam-overlays
active pipelines
Branch master: ✔️ @f2bec38 (15m09s)
PR #218: Add cmdliner.1.3.0: ✔️ @349be9e (16m03s)
mirage/mirage
active pipelines
Branch main: ✔️ @3b7e649 (17m21s)
PR #1589: Upgrade to OCamlformat 0.27.0: ✔️ @3e06a6c (17m00s)
PR #1582: Make config.ml and unikernel.ml co-buildable : ✔️ @0e7378e (22m19s)
PR #1579: Defunctorise TIME, PCLOCK, MCLOCK, RANDOM -- allow defaults to be passed to Mirage.register: ❌ @073278a (19m05s)
mirage/mirage-dev
active pipelines
mirage/mirage-skeleton
active pipelines