[opam-commits] Failed: michipili/opam-repository#82 (topic/use-opamconfig-in-conf-gmp - fde1bf3)

Travis CI builds at travis-ci.org
Tue Jan 24 08:39:56 GMT 2017


Build Update for michipili/opam-repository
-------------------------------------

Build: #82
Status: Failed

Duration: 23 minutes and 0 seconds
Commit: fde1bf3 (topic/use-opamconfig-in-conf-gmp)
Author: Michael Grünewald
Message: Use opamconfig to configure conf-gmp and zarith

View the changeset: https://github.com/michipili/opam-repository/compare/511f4038dfc9^...fde1bf3f0c76

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

--

You can configure 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/20170124/eadcc511/attachment.html>


More information about the Opam-commits mailing list