[opam-commits] Errored: mseri/opam-repository#126 (alt-ergo - 3e6e964)

Travis CI builds at travis-ci.org
Fri Jul 5 00:01:40 BST 2019


Build Update for mseri/opam-repository
-------------------------------------

Build: #126
Status: Errored

Duration: 46 mins and 14 secs
Commit: 3e6e964 (alt-ergo)
Author: Marcello Seri
Message: further bounds on camlzip 1.08

Signed-off-by: Marcello Seri <marcello.seri at gmail.com>

View the changeset: https://github.com/mseri/opam-repository/compare/b78c52398a7a^...3e6e964fd013

View the full build log and details: https://travis-ci.org/mseri/opam-repository/builds/554439704?utm_medium=notification&utm_source=email

--

You can unsubscribe from build emails from the mseri/opam-repository repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=13493256&utm_medium=notification&utm_source=email.
Or unsubscribe from *all* email updating your settings at https://travis-ci.org/account/preferences/unsubscribe?utm_medium=notification&utm_source=email.
Or configure specific recipients for build notifications in your .travis.yml file. See https://docs.travis-ci.com/user/notifications.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ocaml.org/pipermail/opam-commits/attachments/20190704/fa1fb40d/attachment-0001.html>


More information about the Opam-commits mailing list