[opam-devel] switch CI to use Trusty
Thomas Gazagnaire
thomas at gazagnaire.org
Wed Jul 6 09:33:06 BST 2016
Hi again,
Since https://github.com/ocaml/opam-repository/pull/6902 we are now using Ubuntu Trusty for the CI of opam-repository. Normally this should be fully transparent but be aware that it might causes some depext errors on the CI which should be fairly easy to fix (as we switched to Trusty to have more up-to-date depexts anyway).
Best,
Thomas
More information about the opam-devel
mailing list