[opam-commits] Errored: ocaml/opam-repository#2446 (master - 004a984)

Travis CI notifications at travis-ci.org
Tue Jun 3 13:54:01 BST 2014

Build Update for ocaml/opam-repository

Build: #2446
Status: Errored

Duration: 31 minutes and 42 seconds
Commit: 004a984 (master)
Author: Anil Madhavapeddy
Message: Merge pull request #2186 from cocoatomo/PR/coq.8.4pl4

Add Coq 8.4pl4

View the changeset: https://github.com/ocaml/opam-repository/compare/ada1172036c8...004a9846601a

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


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/20140603/263fd25c/attachment.html>

More information about the Opam-commits mailing list