Anil Madhavapeddy
Anil Madhavapeddy
@mtelvers I think part of the root cause for this might be an missing part of the upgrade. The "assets" volume needs to be deleted on upgrade so that it...
@mtelvers wrote: > @avsm What are the success criteria? Or perhaps more importantly, what administrative controls need to be kept in place by the new solution? Good question. There's one...
I'd only add to the secrets list for ocaml.org: 4) SSH keys for the hosts themselves 5) Capnproto capability files for various services (only necessary if we hook this into...
Relying on RFC2136 _and_ using another interoperable bit of software like Caddy seems ideal here; well spotted @reynir. I'm hopeful that we'll eventually have a Caddy replacement in OCaml (I'm...
Rebooted; nothing on the console, but I suspect OOM killer. We do actually need to save a non-ssh-key login to these machines to access the dmesg (or have a log...
Rebooted. No indications of anything untoward on the console...
Discussion also at: https://discuss.ocaml.org/t/ocaml-rfc-17-library-linking-proposal/7499
Looks like the rebuild happens if the `foo.mllib` file is not matched with a corresponding `foo.ml` file. So having a `foo-lib.mllib` (to keep the archive names distinct from individual compilation...
This seems good to merge, as it improves the menus quite a bit. Anything blocking it?
odoc dev meeting notes: There is some confusion among the odoc developers (!) what `indexlist` precisely does. For reference, the ocamldoc manual says: > {!indexlist} | insert a table of...