Mirage CI
Source code available here: https://github.com/ocurrent/mirage-ciPipelines
dune-universe/mirage-opam-overlays
dune-universe/opam-overlays
Branch master: ✔️ @d4092e1 (11m58s)
PR #190: [new release] inifiles (1.2+dune): ✔️ @6b56a0b (1h02m)
PR #189: [new release] uucp (15.0.0+dune): ✔️ @80acc02 (29m40s)
PR #188: [new release] uucp (15.0.0+dune): 🟠 @8fd9349 (1m27s)
PR #187: [new release] ptime (1.1.0+dune): ✔️ @84a5606 (10h23m)
PR #186: [new release] uunf (15.0.0+dune): ✔️ @b275d55 (10h19m)
PR #185: [new release] uunf (15.0.0+dune): 🟠 @8d524f7 (1m15s)
PR #184: [new release] batteries (3.6.0+dune): ✔️ @2c679d3 (10h04m)
PR #183: Revert "Merge pull request #179 from Leonidas-from-XIV/base-bytes-5.0": ✔️ @9ac7a64 (11m15s)
PR #182: Revert "Restrict `base-bytes` to only be selected on OCaml >= 5.0": ✔️ @5657e34 (32m05s)
PR #181: Add runner configuration on CI workflow: ✔️ @7a44fec (11m58s)
PR #180: Add a test suite for continuous integration: ✔️ @44b7b21 (11m19s)
PR #179: Restrict `base-bytes` to only be selected on OCaml >= 5.0: ❌ @b2b5e7e (4m18s)
PR #178: Package mtime.2.0.0+dune: ✔️ @202fad5 (15m01s)
PR #177: Supply `ocaml-compiler` to `setup-ocaml`: ✔️ @ae3708d (30m26s)
PR #176: Fix the package name to be `bytes`: ✔️ @15d9d84 (28m46s)
PR #175: Add base-bytes for OCaml 5.0 support (bytes is not a dune builtin anymore since OCaml 5.0): ❌ @e06370c (5m42s)
PR #174: ppx_tools uses dune since 6.0: ✔️ @3310723 (17m30s)
PR #173: [new release] ocamlfind and findlib (1.9.5+dune): ✔️ @57f98a8 (17m37s)
PR #172: `mtime.1.4+dune2` revised release: ✔️ @825d982 (34m45s)
PR #171: [new release] num.1.4+dune2: ✔️ @8ec0ef1 (21m17s)
PR #170: [new release] stdcompat.18+dune3: ✔️ @58f4115 (23m24s)
PR #169: [new release] stdcompat (18+dune2): 🟠 @2775c0c
PR #168: [new release] hacl-star 0.4.5: ❌ @27bcc8c (10m57s)
PR #167: [new release] ctypes and ctypes-foreign (0.20.1+dune): ❌ @585af0b (9m57s)
PR #165: [new release] ctypes and ctypes-foreign (0.20.1+dune): ❌ @7c6a2ce (20m10s)
PR #164: [new release] pringo 1.3+dune2: ✔️ @03a33f5 (17m06s)
PR #163: Release num.1.4+dune: ✔️ @0560638 (1h00m)
PR #162: [new release] ocp-ocamlres (0.4+dune2): ❌ @bc403bb (14m43s)
PR #161: [new release] brr (0.0.3+dune): ✔️ @70e60fa (32m49s)
PR #159: [new release] note (0.0.2+dune): ✔️ @5426598 (41m29s)
PR #151: [new release] ocplib-json-typed 0.7.1+dune: ❌ @af9a769 (33m05s)
PR #150: Simplify the zarith port: ❌ @2fcddea (1m37s)
PR #149: [new release] uuseg 14.0.0: 🟠 @24f2652
PR #148: Add cmdliner.1.1.1+dune: ❌ @ce25a57 (11m05s)
PR #147: Add cmdliner.1.1.1 into opam-overlays: ❌ @c5806f1 (8m44s)
PR #146: [new release] react.1.2.2+dune: 🟡 @652cef2
PR #145: [new release] xmlm.1.4.0+dune: ❌ @4b3fa83 (1m49s)
PR #144: `io-page` 2.3.0 uses dune upstream: ❌ @2b2091f (1m56s)
PR #143: [new release] Cmdliner.1.1.0+dune: ❌ @ee0da8d (4m12s)
PR #141: Switch URLs from `git://` to `git+https://` for github: 🟡 @22ed1db
PR #140: [new release] rresult (0.7.0+dune): ❌ @3fea9d0 (11s)
PR #139: [new release] mtime (1.4.0+dune): ❌ @624bff0 (3m19s)
PR #138: Document the new, improved port process: ❌ @06c4988 (11m04s)
PR #137: Add cmdliner.1.1.0+dune: ❌ @a5603f5 (10m04s)
PR #136: logs 0.7.0+dune2: Fixed the result dependency: ❌ @4344972 (12s)
PR #135: [new release] ptime (1.0.0+dune2): ❌ @ef975bf (12s)
PR #134: [new release] zip and camlzip (1.11+dune): ❌ @84bbf1d (5m50s)
PR #133: Set maximum version of ocamlgraph for dose3: ❌ @0607399 (12s)
PR #132: [new release] uutf (1.0.3+dune): ❌ @9c286b0 (53s)
PR #131: [new release] uuidm (0.9.8+dune): ❌ @b559156 (26s)
PR #130: [new release] fmt (0.9.0+dune): ❌ @5d4e5a8 (2m21s)
PR #129: Add dune port of extlib.1.7.8: ❌ @b520670 (57s)
PR #128: [new release] ptime (1.0.0+dune): ❌ @a93d172 (12s)
PR #127: [new release] topkg (1.0.5+dune): ❌ @ace8717 (3m46s)
PR #126: [new release] hmap (0.8.1+dune): ❌ @1b16fe0 (1m16s)
PR #124: [new release] uucp (14.0.0+dune): ❌ @71b6f43 (1m33s)
PR #123: [new release] uchar (0.0.2+dune2): 🟠 @b6b7f0f
PR #122: [new release] dum (1.0.1+dune2): ❌ @810a53d (5m52s)
PR #121: Add uchar.0.0.2+dune2: ❌ @9f9deb6 (9m24s)
PR #120: Add uucp.14.0.0+dune: ❌ @d06c46b (5m58s)
PR #119: Update wording on the readme: ✔️ @c6951b5 (18m58s)
PR #117: [new release] mtime (1.3.0+dune): ✔️ @2f960ad (13m48s)
PR #115: Run linter on changes in PRs: ✔️ @ef079d4 (12m31s)
PR #111: Revised dune port of `findlib.1.8.1+dune2`: ❌ @4edade9 (15m17s)
PR #110: Revised dune port: `charInfo_width.1.1.0+dune2`: 🟡 @c600bbd
PR #109: Revised asetmap.0.8.1 port: 🟡 @99f26da
PR #107: [new release] ppx_tools (6.1+dev+dune): 🟡 @82ec096
PR #104: Add `stdcompat` `17+dune`: ❌ @1ded5bf (31m55s)
mirage/mirage
Branch 3: ❌ @2f872b3 (6m39s)
Branch main: ✔️ @7dc5d0f (16m12s)
PR #1410: allow tcpip 8.x: ✔️ @a65e644 (15m26s)
PR #1409: fix opam-monorepo issue with Ocaml5+: ✔️ @304db61 (13m10s)
PR #1407: Disallow empty key names: ✔️ @1dd92df (12m58s)
PR #1406: Fix typo in generated makefile: ✔️ @88894f8 (13m04s)
PR #1405: allow tls 0.17.0: ✔️ @99d1ff6 (12m31s)
PR #1404: Deprecate build: ✔️ @cb2d0ec (13m09s)
PR #1403: mirage.opam: avoid dune upper bound (leads to opam-monorepo lock failures all over): ❌ @6025543 (23m47s)
PR #1401: changes for 4.3.4: ✔️ @dd2977f (7m02s)
PR #1400: adapt to mirage-block-ccm 2.0.0 changes (maclen is removed due to mirage-crypto changes): ❌ @6a97497 (16m43s)
PR #1399: adapt to new dns-client package layout: ❌ @d886923 (3m41s)
PR #1397: mirage-runtime: conflict with newer ppxlib: 🟡 @1e97bab (8m01s)
PR #1396: relax git-mirage bounds to < 3.13.0: ✔️ @31b6b52 (14m11s)
PR #1394: Pass -f <config-file> in build rule of Makefile: ✔️ @27fd349 (23m14s)
PR #1393: Rename the generated Makefile to GNUmakefile: ❌ @a45593d (10m07s)
PR #1392: mirage-crypto 0.11 is compatible with mirage' use thereof: ✔️ @0b43b25 (14m12s)
PR #1391: Fix typo: 🟠 @d09aa20 (5m03s)
PR #1390: Brush up mirage.mli: ✔️ @5822522 (7m29s)
PR #1389: Add tar_kv_ro and tar_kv_rw: 🟠 @f8cee0c (6m17s)
PR #1388: Removed deprecated device git_happy_eyeballs: ✔️ @faa7a17 (12m17s)
PR #1387: Upgrade safely to git.3.11.0 Git devices: ✔️ @b5a6dc3 (8m23s)
PR #1385: add (merlin) to the dune-workspace file, fixes #1384: ✔️ @3e5963b (22m08s)
PR #1383: Add `build` stanzas to packages that are supposed to be vendored: ✔️ @2f58f94 (12m11s)
PR #1382: adjust solo5 bound: use 0.8.0 as upper bound: ✔️ @fc1311b (24m25s)
PR #1380: Enforce the usage of solo5.0.7.5 when we make unikernels: ✔️ @a7aeac8 (15m45s)
PR #1379: remove -warn-error -A from generated dune files: ✔️ @1ba841d (27m29s)
PR #1376: Introduce an ALPN client and Mimic: ❌ @c753033 (4m53s)
PR #1370: Replace 'echo -e' with 'printf' in makefiles: ✔️ @feff3f3 (10m34s)
PR #1369: adapt to conduit 6.0.1: ❌ @aef5cf8 (7m53s)
PR #1368: uncomment code that needed fixes for OCaml < 4.08 (which is no longer supported): ✔️ @a780380 (17m45s)
PR #1367: Add a new device to be able to easily start an HTTP (including ALPN) server: ✔️ @a3f0c8c (11m27s)
PR #1366: Upgrade upcoming version of ocaml-git: ✔️ @bacfdf4 (13m54s)
PR #1364: Add the CCM device to be able to generate an encrypted file-system upfront the unikernel: ✔️ @ffd8e8b (7m58s)
PR #1363: Fix Makefile generation to work with beta versions of the compiler: ❌ @cd1e310 (8m34s)
PR #1362: Update to Resolver_mirage changes: ✔️ @09750da (20m03s)
PR #1361: functoria-runtime: provide a binding for the argument_error: ✔️ @50b0f0f (15m20s)
PR #1358: mirage-runtime: use Logs.level_of_string and Logs.level_to_string: ✔️ @f7cfc78 (16m34s)
PR #1354: Fix the separator for list and pair combinator: ✔️ @d388edb (21m53s)
PR #1353: Remove kv ro archive: ✔️ @f168bca (10m31s)
PR #1352: tar-mirage: raise upper bound to 3.0.0 -- the 2.0.0 series didn't break the API: ✔️ @7820f6d (13m10s)
PR #1351: Update the codebase to ocamlformat.0.23.0: 🟠 @a42241e
PR #1350: Improve functoria cli: ✔️ @8a958c8 (15m28s)
PR #1347: mirage.mli: fix the chamelon example invocation: ✔️ @8d31419 (38m34s)
PR #1343: Update erratique.ch references: ✔️ @cc71bab (1h35m)
PR #1342: generated opam file: also run depext-lockfile: ✔️ @5d684b0 (26m03s)
PR #1341: remove v4 & v6 stack, other deprecated bindings: ✔️ @a0f7029 (24m40s)
PR #1338: adapt to new released mirage-xen & mirage-solo5: ✔️ @e113859 (31m40s)
PR #1337: mirage.mli: update deprecated references: ✔️ @e9ea749 (15m17s)
PR #1335: Reproducible: ✔️ @7148bba (31m37s)
PR #1334: Fix tests with opam-monorepo.0.3.2: ✔️ @318e148 (38m51s)
PR #1332: various makefile and opam file tweak: ✔️ @e4f4bb3 (38m08s)
PR #1329: Prepare v4.1.0: ❌ @e07fe32 (3m10s)
PR #1328: Add pair combinator: ✔️ @65b9f55 (10m31s)
PR #1327: Adapt to opam-monorepo 0.3.0: ✔️ @de7574c (13m59s)
PR #1325: Build non-executable artifacts in the host context: ✔️ @013b5d2 (14m20s)
PR #1324: Be able to make a docteur image from a relative path: ❌ @44f810f (20m47s)
PR #1322: Update CHANGES: 🟡 @e575f10 (6m22s)
PR #1321: remove ukvm warning: 🟠 @8a5d876 (6m24s)
PR #1320: Remove unused --warn-error and --debug flags: 🟠 @76db981 (6m34s)
PR #1319: Fix dune version in dune-project: ✔️ @22e7545 (19m20s)
PR #1318: Add missing lower-bound for mirage-xen: ✔️ @8ab03cf (6m20s)
PR #1317: Fix compilation flags: ❌ @b88ccf0 (3m10s)
PR #1316: Use the same flags as dune: ❌ @79c109d (9m15s)
PR #1315: Update CHANGES: ✔️ @008a5a3 (6m54s)
PR #1314: Rename ocaml-freestanding to ocaml-solo5: ✔️ @1d31816 (19m32s)
PR #1313: revise flags for dune file: remove -safe-string, remove custom warnings: ❌ @c7b9089 (3m50s)
PR #1312: solo5 target: use --solo5-abi=xen for qubes target (part of #1299): ✔️ @f02ba88 (20m00s)
PR #1311: mirage.opam & functoria.opam: require opam 2.1.0, fix #1239: ✔️ @edab586 (32m28s)
PR #1310: Fix the connect function of the happy-eyeballs device: 🟠 @367c1b4 (5m58s)
PR #1309: Propagate the user specified config.ml to the generated dune file: 🟠 @a61894b (8m02s)
PR #1307: Add happy-eyeballs device: ✔️ @4a0ba62 (18m36s)
PR #1306: The timeout argument of the dns-client device must be an optional int64: 🟠 @f021dbe (7m23s)
PR #1305: Add int64 converter into functoria to be able to handle int64 arguments: 🟠 @2bf8c06 (6m47s)
PR #1304: Check that the package name respects opam conventions: ✔️ @d49e97e (57m22s)
PR #1303: bump mirage-net-unix lower bound to the does-not-catch-exceptions: ✔️ @7b7d133 (14m49s)
PR #1302: Add dns_client device: ✔️ @cdcd84f (40m44s)
PR #1301: Add opt_all into the functoria-runtime package: 🟡 @fe0fd5b (6m17s)
PR #1300: Add chamelon device: ✔️ @531f24e (17m08s)
PR #1298: Be able to choose a specific branch when we want to make a docteur imge from a Git repository: 🟡 @8dcd1df (6m11s)
PR #1297: require conduit 5.1.0+ (which does not result in an exception if the TLS handshake fals on the server side): 🟠 @031740d (14m38s)
PR #1296: Upgrade tests with dune.3.0.0: 🟠 @d3c59f0 (8m58s)
PR #1295: Allow to specify version of pinned packages: 🟡 @097a0fa
PR #1293: Add tcpv4v6_of_stackv4v6: 🟠 @9510562 (10m42s)
PR #1292: Add Key.opt_all to allows usage of an argument multiple times: 🟡 @b781f9c
PR #1291: Add git devices: 🟠 @4b97cd2
PR #1290: Revert "Add Git devices": 🟡 @e293871
PR #1289: Update to cmdliner 1.1.1: ✔️ @fbe3f23 (23m56s)
PR #1288: Add `docteur` device: ✔️ @e47c2f1 (16m25s)
PR #1286: Preview: upgrade to ocamlformat.0.21.0: ❌ @c430e1a (4m43s)
PR #1283: Add Git devices: ✔️ @d7dc79a (1h01m)
PR #1282: Prepare v4.0.0~beta3: ✔️ @537f30b (18m09s)
PR #1280: Lint version of some packages according to their releases: 🟠 @b0ac6c5 (14m10s)
PR #1279: Update the README: 🟠 @736b831 (8m46s)
PR #1278: Update README badges: 🟠 @3245c40
PR #1277: Prepare v4.0.0~beta2: ✔️ @375aaea (7m03s)
PR #1276: Fix minimal version required for mirage{,-runtime}: 🟠 @f29d4e0
PR #1275: Mirage_runtim: allow more log levels: ✔️ @1119499 (22m03s)
PR #1272: Prepare v4.0.0~beta1: 🟡 @2aabf94 (17m03s)
PR #1271: Fix the pull step when the build directory is custom: 🟡 @11aa609
PR #1270: Rename shell variable MIRAGE_EXTRA_REPO to EXTRA_REPOS (we can add multiple repositories): 🟠 @4472691
PR #1269: No common path & impl. about the OS module - each target implements their own modules: ❌ @0f6ee90 (4m47s)
PR #1268: Fix url given by the src field into the OPAM file: ✔️ @a4ac10d (1h12m)
PR #1267: Ensure to add in any case our mirage overlays: ✔️ @f8c4bf6 (41m46s)
PR #1253: Add Raspberry Pi 4 target: ❌ @e4def3b (49m31s)
mirage/mirage-dev
Branch master: ✔️ @842c555 (11m58s)
PR #389: Test opam monorepo 3: ❌ @10213cd (12m46s)
PR #388: Remove released packages: ❌ @0a34ae1 (15s)
PR #387: Rename the freestanding context to solo5 for mirage-{console,net,block}-solo5: ❌ @50952a0 (5m55s)
PR #386: Add ocaml-solo5.0.8.0: ❌ @fb300d1 (1m47s)
PR #385: Delete released packages: ✔️ @5afbe99 (15m59s)
PR #384: Remove mirage-unix package: ✔️ @024ecc3 (9m09s)
PR #383: Delete mirage-{xen,solo5}: ✔️ @7cc3906 (8m33s)
PR #382: Remove packages from the MirageOS distribution: ✔️ @48b613d (17m12s)
PR #381: mirage and functoria are now released: ✔️ @f7b3fa0 (6m37s)
PR #380: Update mirage-clock{,-unix,freestanding} with upstream: 🟠 @1dd594d (13m49s)
PR #379: Sync to upstream mirage: ✔️ @c01677f (2h25m)
PR #378: Remove zarith (and take the one provided by dune-universe/opam-mirage-overlays): ✔️ @4b04769 (18m42s)
PR #377: No common OS module: ✔️ @d481566 (10m02s)
PR #373: base v.0.14.3 is relased in opam-repo: ✔️ @41aa5f8 (26m35s)
PR #366: Add Gilbraltar (RPi4) packages: 🟡 @daa0011
mirage/mirage-skeleton
Branch main: ✔️ @65dd808 (16m12s)
Branch master: ❌ @f1098f1 (5m30s)
Branch mirage-dev: ✔️ @144d689 (22m27s)
PR #352: fix CI by removing littlefs from makefile: 🟡 @2bc0079 (10m01s)
PR #351: dune 3.7 introduced a breaking change that leads chamelon to not compile: ❌ @2847669 (1m28s)
PR #350: Rename git_happy_eyeballs to mimic_happy_eyeballs: ✔️ @6cced24 (4m47s)
PR #349: Add example of an encrypted littlefs: 🟠 @e7ee6bf
PR #348: avoid rec when called with a negative argument: ❌ @98bf517 (21m37s)
PR #347: Add an example about HTTP server (including ALPN negocitation): 🟠 @76615ab (5m15s)
PR #346: Use Mirage_block.pp_info: ✔️ @67048fd (7m39s)
PR #345: Protect repositories from the Makefile parser when they contain '#': ✔️ @f1908f1 (13m07s)
PR #344: use stackv4v6 instead of stackv4: ✔️ @f61e6aa (36m57s)
PR #343: adapt to mirage 4.2: 🟠 @e9dadf6 (19m34s)
PR #341: Rename the docteur example to static_kv_ro: ✔️ @1f14015 (9m31s)
PR #340: adapt to single opam file workflow: ✔️ @bf52dcf (12m23s)
PR #338: tell people which MirageOS version to use if they have the wrong one: ❌ @b46be03 (8m24s)
PR #337: Use ocamlformat: ✔️ @4708a73 (23m46s)
PR #336: Fix warnings: ✔️ @c227b44 (22m03s)
PR #335: Update git application with new git devices: ❌ @2b5e9bf (23m32s)
PR #334: Use the new provided tcpv4v6_of_stackv4v6: 🟠 @1f004e8 (11m53s)
PR #333: Add a simple DNS client example: ✔️ @66e938c (21m03s)
PR #332: Use https:// instead of git:// to build the docteur image: ✔️ @8452cd8 (6m02s)
PR #331: Add docteur example: ✔️ @d6f2b4a (26m43s)
PR #329: Upgrade the unikernel with git.3.8.0: ✔️ @a1d28df (46m19s)
PR #328: Be able to define multiple overlays and add them when we compile mirage-skeleton: 🟡 @cb0217c (14m25s)