Pipelines
dune-universe/mirage-opam-overlays
active pipelines
dune-universe/opam-overlays
active pipelines
Branch master: ✔️ @f2bec38 (14m24s)
PR #217: Remove test/rwo.t/book submodule: ✔️ @9834e2b (14m24s)
mirage/mirage
active pipelines
Branch main: 🟠 @3b7e649 (running for 17m07s)
PR #1589: Upgrade to OCamlformat 0.27.0: 🟠 @3e06a6c (running for 17m07s)
PR #1582: Make config.ml and unikernel.ml co-buildable : 🟠 @0e7378e (running for 17m07s)
PR #1579: Defunctorise TIME, PCLOCK, MCLOCK, RANDOM -- allow defaults to be passed to Mirage.register: ❌ @073278a (16m21s)
PR #1595: allow ocaml-solo5 1.x series: ✔️ @faeb470 (20m02s)
PR #1593: add DHCP device: ✔️ @ffcd1ad (6m45s)
PR #1592: Emit output what to do next. This fixes #921: ✔️ @8dbc959 (44m52s)
PR #1591: revise syslog, add monitoring: ✔️ @aa65855 (7m40s)
PR #1590: separate DNS, happy-eyeballs, SSH, TLS, HTTP arguments into separate man page sections: ✔️ @98e67fa (51m01s)
PR #1588: fix typo in error message: ✔️ @c59b11f (6m46s)
PR #1586: call Printexc.record_backtrace early -- will be later overwritten by --backtrace (if provided): ✔️ @9f2919e (10m11s)
PR #1585: add parens around the return value of register/register_arg: ✔️ @1d07efa (7m25s)
PR #1584: Add a call to Printexc.record_backtrace: ✔️ @0428dd1 (7m42s)
PR #1583: allow solo5 0.9: ✔️ @a91ae97 (35m12s)
PR #1581: Mirage_runtime.logs: explain the log levels: ✔️ @a079f3c (41m59s)
PR #1580: OCaml runtime arguments are now in cmdliner-stdlib: ✔️ @38718f0 (2h03m)
PR #1578: Mirage.register: document ?src argument: ❌ @c93514a (12m32s)
PR #1577: keys for DNS/HE/GIT devices: ✔️ @bb1b87e (6m41s)
PR #1576: mirage.mli: fix another documentation reference: ✔️ @8213cea (8m39s)
PR #1575: Remove unused arg: ✔️ @7f51d5f (11m22s)
PR #1574: provide Mirage_runtime.register_arg, deprecate Mirage_runtime.register: ✔️ @3b25009 (6m44s)
PR #1573: improve runtime argument error messages: ✔️ @ec7b6eb (7m38s)
PR #1571: update docs after the key / runtime_arg split: 🟠 @80f6a9a
PR #1570: Use copy# for config.ml: ✔️ @abc0477 (7m32s)
PR #1568: config.ml: Make deprecation warnings non-errors: ✔️ @127dcfe (3h06m)
PR #1567: Update test with new warning: ✔️ @577adfc (9m32s)
PR #1566: functoria/version check: in case our_version is not parseable, emit a…: ✔️ @2796d02 (7m20s)
PR #1564: opam src url: path includes leading slash: ✔️ @45bc19f (39m56s)
PR #1559: Tls 1.0 and mirage-crypto 1.0: 🟡 @9c0f1af (11m16s)
PR #1558: allow mirage-qubes 0.11 series: ✔️ @6d41a0f (15m56s)
PR #1557: allow tar 3.0.0 release series (no API change in tar-mirage): ✔️ @46a819a (11m14s)
PR #1555: Re-introduce deps which can be useful to track dependencies which need to be built but not used to apply a functor: ✔️ @c7c3305 (26m17s)
PR #1552: ip: no more optional runtime arguments: ✔️ @15c789a (6m50s)
PR #1549: add some more documentation to RELEASE.md: ✔️ @0b47790 (2h29m)
PR #1548: Upgrade the tool to use tcpip.8.1.0 and mirage-qubes.0.10.0: ✔️ @4fb995c (37m18s)
PR #1546: Provide Mirage.ethif as an alias for Mirage.etif: ✔️ @48d920d (9m59s)
PR #1545: update test output to cmdliner 1.3.0: ✔️ @c4e4b73 (6m42s)
PR #1544: job with no arguments, check a bit more thoroughly: ✔️ @5673c43 (2h33m)
PR #1543: Reverse the dependency between happy-eyeballs and dns-client: ✔️ @bcabfa1 (1h11m)
PR #1542: allow paf 0.6.0: ✔️ @d57eb52 (29m08s)
PR #1541: Simplify Runtime_args.create: 🟡 @015764a (12m19s)
PR #1540: internal: Fix off-by-one locations in mirage/main.ml: 🟡 @098c6f8 (5m13s)
PR #1539: internal: reset the lexer location before applying functors in the ge…: 🟡 @ddc09d1 (5m34s)
PR #1538: allow git 3.16: ✔️ @34cadd1 (23m03s)
PR #1537: add more documentation: ✔️ @c45aa2b (1h11m)
PR #1535: On a `Term error from Cmdliner, print a Hint about how to pass a space: ✔️ @97ed15f (6h03m)
PR #1534: update ocamlformat to 0.26.2: 🟡 @acc5515 (8m04s)
PR #1533: Consolidate mirage bootvar: 🟡 @2026b03 (7m06s)
PR #1531: revise manpage sections: ✔️ @b972cf2 (6h01m)
PR #1529: Mirage time defunctorised: ❌ @d6b5d15 (26m01s)
PR #1527: fix generated opam file - the build rule is now `make "-Csubdir" "build": 🟡 @aff5e9f (7m15s)
PR #1526: mirage-runtime: provide sleeper storage: 🟡 @d72bdb1 (5m59s)
PR #1525: add the options to specify "host" (and "socket") for the host system network stack: 🟠 @ed3b4c4
PR #1524: functoria: Constraint the start function to 'unit Lwt.t': ✔️ @2f9ed65 (14m16s)
PR #1523: doc: Update inline examples to Runtime_arg: ✔️ @1294524 (2h07m)
PR #1522: functoria: Quote Runtime_arg.call: 🟡 @d64cecd (7m15s)
PR #1521: Mirage logs no clock: ❌ @b4b343f (6m48s)
PR #1519: Add a new draft to help with the release: ✔️ @3d60dde (6h39m)
PR #1518: Bump mirage-runtime versions in the generated opam files: ✔️ @31f5732 (10m17s)
PR #1517: Prepare the 4.5.0 release: ✔️ @090d822 (6m53s)
PR #1516: Revert https://github.com/mirage/mirage/pull/1515: ✔️ @7ca3a80 (6m34s)
PR #1515: Make config.ml and unikernel.ml co-buildable: ✔️ @41321bc (9m19s)
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: ✔️ @38f92c8 (6m29s)
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: ❌ @67e507e (21h29m)
PR #1494: WIP: Use ppxlib.metaquot instead of raw strings for runtime keys: ❌ @83228f4 (4m40s)
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-dev
active pipelines
mirage/mirage-skeleton
active pipelines