[opam-commits] Passed: ocaml/opam#3861 (z3 - 5f3bb2c)

[Travis CI]

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

Build: #3861
Status: Passed

Duration: 34 mins and 34 secs
Commit: 5f3bb2c (z3)
Author: Louis Gesbert
Message: Z3 solver: remove debug, add timeout support

View the changeset: https://github.com/ocaml/opam/compare/95dd3af74436^...5f3bb2ccaefd

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