[opam-commits] Failed: bobot/opam-repository#25 (for_nix - 0789875)

[Travis CI]

Build Update for bobot/opam-repository
-------------------------------------

Build: #25
Status: Failed

Duration: 57 mins and 39 secs
Commit: 0789875 (for_nix)
Author: François Bobot
Message: Update why3 coq version

View the changeset: https://github.com/bobot/opam-repository/compare/2e50fb99c512...07898755fb69

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

--

You can unsubscribe from build emails from the bobot/opam-repository repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=1317030&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/20190206/7635bfb4/attachment.html>