Pipelines
dune-universe/mirage-opam-overlays
Branch main: ✔️ @797cb36 (15m48s)
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
Branch master: ✔️ @4e75ee3 (15m48s)
PR #212: add cartion 0.7.1 to use the git 3.15 tarball: 🟡 @2fe788f (6m30s)
PR #211: Add an overlay suffix for the colombe distribution: ✔️ @2c457bd (1h06m)
PR #210: [new release] cmdliner (1.2.0+dune): ✔️ @e93f715 (12m58s)
PR #209: [new release] uuseg (15.1.0+dune): 🛑 @b779d88 (1h25m)
PR #208: [new release] uunf (15.1.0+dune): 🛑 @d7abfa4 (1h25m)
PR #207: [new release] uucp (15.1.0+dune): ❌ @bc937ac (9m06s)
PR #206: [new release] zarith (1.13+dune): ❌ @e4c65e0 (8m09s)
PR #205: [new release] brr (0.0.6+dune): ❌ @70bc442 (19m13s)
PR #198: add carton 0.7.0, using the git 3.14 tarball: ❌ @f97d482 (11m27s)
mirage/mirage
Branch main: ✔️ @32faa7f (16m20s)
PR #1511: Simplify the mimic devices: ✔️ @860c46a (7m04s)
PR #1510: Updates after functoria / functoria-runtime removal: ✔️ @384b6c3 (6m37s)
PR #1509: Remove functoria and functoria-runtime packages: ✔️ @8d4b049 (7m50s)
PR #1508: Remove dependencies between mirage and mirage-runtime: ✔️ @6b29005 (8m21s)
PR #1507: bump min ocaml-solo5 to avoid fast memory usage error: ❌ @28fe57e (8m50s)
PR #1506: Rename DSL.keys to DSL.runtime_args: 🟠 @ab193bf (5m22s)
PR #1505: Remove DSL.foreign: ❌ @bc171d8 (4m19s)
PR #1504: Add line locations to device connect functions: ✔️ @2589842 (7m02s)
PR #1503: cleanups: small internal cleanups in mirage/impl: ✔️ @b78fbd5 (15m24s)
PR #1502: 4.4 for main: 🟡 @ef43321 (5m18s)
PR #1501: Rename Runtime_key to Runtime_arg: ✔️ @d00ca12 (6h27m)
PR #1500: Add line directives to OCaml files that are copied around: 🟡 @67dd1af (6m33s)
PR #1499: Fix `config.exe query` to use the same code path as code generation: 🟡 @7fe7b77 (5m13s)
PR #1498: Upgrade to ocamlformat 0.26.1: 🟡 @0259d62 (5m38s)
PR #1495: WIP: Simplify dune files: ❌ @487c698 (8m49s)
PR #1494: WIP: Use ppxlib.metaquot instead of raw strings for runtime keys: ❌ @83228f4 (8m46s)
PR #1493: Better API for application runtime keys: ✔️ @1254e02 (41m12s)
PR #1492: Provide actual network interface name (regression in #1455): ✔️ @52dd4a7 (14m28s)
PR #1488: move runtime keys back (as strings) to mirage_runtime_key: ✔️ @17a880b (7m43s)
PR #1487: If Functoria_key.key is called too late, raise an error: ✔️ @7f29f82 (7m42s)
PR #1486: Remove some functions, also remove dependency on astring (replace code to use Stdlib String module): ✔️ @63f35bb (10m51s)
PR #1485: Document in the --help output also the exit codes that will be present.: ✔️ @1d77fb3 (5h47m)
PR #1484: fix log_threshold documentation: ✔️ @52bcfbb (6h00m)
PR #1482: mirage_runtime: restore converters for log_threshold and allocation_policy: ✔️ @bfa2797 (5m45s)
PR #1481: Use Cmdliner.Arg.doc_alts_enum: ✔️ @b64a08c (6m04s)
PR #1480: provide actual network interface name (regression in #1455): ✔️ @900c6e0 (7m42s)
PR #1478: Put runtime keys into "UNIKERNEL PARAMETERS" section: ✔️ @6b2d4b6 (9m44s)
PR #1477: Revert "use the .opam.locked file for installing the switch dependencies": ✔️ @8c48668 (5m46s)
PR #1475: dune.config file misconfigured: ✔️ @54fb61f (8m17s)
PR #1474: allow git 3.14 as well: ✔️ @9a462e9 (8m07s)
PR #1455: Keep a single way to define runtime keys (using Cmdliner): 🟠 @6a24029
mirage/mirage-skeleton
Branch dev: ✔️ @8a14b5c (16m20s)
Branch main: ✔️ @c4936ad (15m48s)
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