[opam-commits] Failed: ocaml/opam#3930 (z3-2.0 - 671af88)

Travis CI builds at travis-ci.org
Tue Mar 12 23:47:12 GMT 2019


Build Update for ocaml/opam
-------------------------------------

Build: #3930
Status: Failed

Duration: 16 mins and 41 secs
Commit: 671af88 (z3-2.0)
Author: Louis Gesbert
Message: Z3 solver: remove debug, add timeout support

View the changeset: https://github.com/ocaml/opam/compare/70e32f8d6b39^...671af8844e13

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

--

You can unsubscribe from build emails from the ocaml/opam repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=729291&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/20190312/d44ae4e2/attachment.html>


More information about the Opam-commits mailing list