[opam-commits] Errored: ocaml/opam-repository#4180 (master - c7c20e5)

Travis CI notifications at travis-ci.org
Sat Oct 25 11:03:17 BST 2014

Build Update for ocaml/opam-repository

Build: #4180
Status: Errored

Duration: 16 minutes and 10 seconds
Commit: c7c20e5 (master)
Author: Thomas Gazagnaire
Message: Merge pull request #2938 from clarus/master

Coq 8.4.5 added

View the changeset: https://github.com/ocaml/opam-repository/compare/bd9d680eb792...c7c20e525750

View the full build log and details: https://travis-ci.org/ocaml/opam-repository/builds/39002382


You can configure recipients for build notifications in your .travis.yml file. See http://docs.travis-ci.com/user/notifications

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

More information about the Opam-commits mailing list