Outdated Docker base images

Glad to hear that! You don’t need the full matrix of distro containers for ordinary use of opam1 - just the :latest target should work, albeit slightly more slowly since you need to run an git -C /home/opam/opam-repository pull origin && opam update -uy && opam switch 4.06.1 to get a new compiler.

As promised, here is an update on the opam-ci tool. We’ll also be working on migrating the mirage-ci (which weirdly powers the opam-repository CI) tool and @kit-ty-kate’s opam-check-all to use portions of this new infrastructure soon, so the state of infrastructure documentation is steadily improving :slight_smile:

3 Likes