[opam-commits] Failed: mseri/opam-repository#127 (alt-ergo - ce59c5f)

Travis CI builds at travis-ci.org
Fri Jul 5 14:57:13 BST 2019


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

Build: #127
Status: Failed

Duration: 27 mins and 10 secs
Commit: ce59c5f (alt-ergo)
Author: Marcello Seri
Message: Revert "further bounds on camlzip 1.08"

This reverts commit 3e6e964fd013541bcbce753b332f8b327958f728.

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

View the full build log and details: https://travis-ci.org/mseri/opam-repository/builds/554693834?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/20190705/57d80066/attachment.html>


More information about the Opam-commits mailing list