[opam-commits] Still Failing: jacquev6/opam-repository#441 (master - 14e9fda)

[Travis CI]

Build Update for jacquev6/opam-repository
-------------------------------------

Build: #441
Status: Still Failing

Duration: 33 mins and 47 secs
Commit: 14e9fda (master)
Author: Kate
Message: Merge pull request #15017 from Blaisorblade/coq-8.10

[new release] Add coq.8.10.0 and coqide.8.10.0

View the changeset: https://github.com/jacquev6/opam-repository/compare/5b6e5cf8cb5a...14e9fda8aad2

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

--

You can unsubscribe from build emails from the jacquev6/opam-repository repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=14837626&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/20191013/94e55705/attachment-0001.html>