Pipelines
dune-universe/mirage-opam-overlays
active pipelines
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
PR #406: fix with charrua 1.6.0 release: ✔️ @d137116 (20m40s)
PR #405: move runtime arguments out of config.ml: ✔️ @d2b5c67 (15m10s)
PR #404: Update website in opam file: 🟡 @8939419 (17m11s)
PR #403: adjust unikernels: ❌ @6184d28 (23m42s)
PR #402: Upgrade h2 to 0.13.0 and change a bit the API from it: ✔️ @89fb841 (9m15s)
PR #400: update to TLS 1.0 and mirage-crypto 1.0 API, remove mirage-random usage: ❌ @0fc9ca9 (3h13m)
PR #399: re-enable docteur unikernel now that 0.0.7 is out: ❌ @bd68b91 (9m56s)
PR #398: http/git/dns adapt to happy-eyeballs changes: 🟠 @45db3ea
PR #396: use ethif instead of deprecated etif: ✔️ @40a4929 (9m59s)
PR #395: Add Mirage bounds in config.ml (since mirage 4.4.1, mirage/mirage#1466): ✔️ @8da81f4 (1h10m)
PR #394: mirage-time is now variant :): ❌ @043caae (5m30s)
PR #393: dhcp: handle return value from N.listen: ✔️ @a7943c3 (5m17s)
PR #392: fix default https port: ✔️ @d40e383 (6m50s)
PR #391: Add simple dream server skeleton to applications: ❌ @ffe72c3 (5m36s)
PR #390: clock goes variants: ❌ @74c0bf4 (3m46s)
PR #389: Remove extra newlines: ✔️ @571e2ea (13m07s)
PR #388: generate should return string rather than Cstuct.t: ✔️ @e699c5c (5m17s)
PR #387: Adapt to upstream changes: 🟠 @4d09dfb
PR #386: Use `main` instead of `foreign`: ❌ @d6b923b (4m19s)
PR #385: Adapt to API changes for Device.connect: 🟠 @b63f482
PR #384: Rename Mirage_key to Mirage_arg: 🟠 @58da09f
PR #383: Update .ocamlformat: 🟠 @6fe8ba4 (3m06s)
PR #382: Update to the new runtime key API: 🟠 @4d05558
PR #378: Test dev: ✔️ @c1da7aa (9m31s)
PR #377: Test: ✔️ @fef8bbd (9m08s)
PR #374: Move runtime keys to runtime modules: 🟠 @743b478