08:52 <hannes> good morning!

09:22 <hannes> to reduce the issues, I archived the https://github.com/mirage/xen-arm-builder repository (now that our Xen support is solo5-based and PVH only (plus no arm support))

09:23 <hannes> that was the easy way out - I'm still very much into "let's ship binaries" -- but eventually not based on shell scripts

10:01 <dinosaure> hi :)

10:02 <mato> hi folks

10:03 <dinosaure> I will be focus on one specific issue about colombe today (colombe#29) but I will start a fast-scan on repositories

10:05 <djs55> I'm grabbing a few obvious oldest issues ones on the top of the https://github.com/issues?q=is%3Aopen+is%3Aissue+org%3Amirage+archived%3Afalse+sort%3Aupdated-asc -- ocaml-vhd, ocaml-fat. I'll assign an issue to myself before doing any work on it

10:07 <hannes> cool :)

10:09 <hannes> I have some issues on my local todo file -- one item is "experiment with the new (dune 2.7 + bisect_ppx 2.5.0) coverage instrumentation -- and voila: https://github.com/mirage/arp/pull/19

10:12 <hannes> the result is much nicer than setting an environment variable and having the dune file reading it. to produce coverage, just run "dune runtest --instrument-with bisect_ppx --force" :)

11:05 <hannes> and I'm moving towards less opam packages -- https://github.com/mirage/arp/pull/20 -- combines arp-mirage with arp (then as arp.mirage)

11:44 <dinosaure> hannes: did you see github.com/burgerdev/ocaml-rfc7748?

11:51 <hannes> dinosaure: yes

11:55 <dinosaure> hmmhm, it seems that we have many duplicate projects about hacl and I'm not sure which best way we can take according to our goal to use extracted C code (to avoid such PR: https://github.com/mirage/hacl/pull/36)

12:29 <hannes> djs55: nice fat work :) I'll enable OCaml-CI for ocaml-fat.

12:29 <djs55> oh thanks! it's probably still using travis :/ I dread to see how long a travis run will take

12:30 <hannes> yes, and travis is mostly dead these days -- it was a great service at times, but I think their computing resources are too expensive

12:31 <hannes> so, OCaml-CI is enabled - I'm sure it'll complain ;)

17:36 <dinosaure> so, I think I opened more issues than closed but it's ok

17:54 <hannes> djs55: for releasing ocaml-fat you could try dune-release -- which makes releases pretty easy

20:13 <djs55> hannes: ah, I thought I was missing something. I tried `opam publish` but it went a bit wrong trying to generate a github token

22:11 <hannes> thanks to everyone working hard on closing issues and pushing & reviewing changes. there's still plenty of things to do, but I think we made good progress today (with a new fat release, etc.)