[opam-commits] Passed: ocaml/opam#3929 (Z3 - 8cae0b6)

[Travis CI]

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

Build: #3929
Status: Passed

Duration: 35 mins and 42 secs
Commit: 8cae0b6 (Z3)
Author: Louis Gesbert
Message: Z3 solver: remove debug, add timeout support

View the changeset: https://github.com/ocaml/opam/compare/d53d0677eb9e^...8cae0b6d9085

View the full build log and details: https://travis-ci.org/ocaml/opam/builds/503267290?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/20190307/39426770/attachment-0001.html>