[opam-commits] Passed: ocaml/opam#3929 (Z3 - 8cae0b6)
Travis CI
builds at travis-ci.org
Thu Mar 7 21:42:55 GMT 2019
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>
More information about the Opam-commits
mailing list