Pipelines
dune-universe/mirage-opam-overlays
Branch main: ✔️ @a59e367 (8h42m)
PR #3: Add cross compile flag to zarith and fix version number: ✔️ @6b232c5 (26m28s)
dune-universe/opam-overlays
Branch master: ✔️ @c8f6ef0 (8h42m)
PR #173: [new release] ocamlfind and findlib (1.9.5+dune): ✔️ @57f98a8 (8h22m)
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: ✔️ @134271f (8h41m)
PR #1342: generated opam file: also run depext-lockfile: ✔️ @5d684b0 (6h48m)
PR #1341: remove v4 & v6 stack, other deprecated bindings: ❌ @a0f7029 (8h23m)
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: ❌ @5d628b1 (24m30s)
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 (8h42m)
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: ✔️ @f652abd (8h41m)
Branch master: ❌ @f1098f1 (5m30s)
Branch mirage-dev: ✔️ @144d689 (22m27s)
PR #344: use stackv4v6 instead of stackv4: ✔️ @f61e6aa (8h30m)
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)