Anil Madhavapeddy
Anil Madhavapeddy
I think using the cluster for the query would be cleanest, since that way we wouldn't be getting more Docker-specific. In the future, a *BSD or macOS or Windows ocluster...
I'll update all the base images again today after https://github.com/ocurrent/docker-base-images/pull/60 has rebuilt
An eio version of capnp?! Hurrah!!
This will also fail if not all the packages are available on that particular switch. I think we need something more on the lines of the discussion in #297 where...
My usecase is pretty straightforward: got a bunch of private repos that need building and deploying. The builds are pushed to the github container registry (which has the advantage that...
Agreed that plumbing through the auth info would be enough in the first instance. Can do more sophisticated ocluster reservation later.
Dropping to a 4k page size on the ppc64 worker's shouldnt be a problem
I still can't form an opinion about this PR without knowing which users it will break (outside of the CI systems above). Perhaps posting on discuss.ocaml.org about the proposed change...
I'd prefer to just generate an explicit devcontainer image rather than try to squeeze the CI images and the devcontainers images together. @sim62 -- do you have anything else you...
@sim642 I've been adding a 'devcontainer OCaml feature' which composes with the upstream VSCode features. You can find one use of this in https://github.com/realworldocaml/book/blob/master/.devcontainer/devcontainer.json and the associated feature Debs are...