[opam-commits] Fixed: mseri/opam-repository#154 (fix-rfsm - 5f8f38d)

Travis CI builds at travis-ci.org
Tue Sep 17 23:20:19 BST 2019


Build Update for mseri/opam-repository
-------------------------------------

Build: #154
Status: Fixed

Duration: 26 mins and 51 secs
Commit: 5f8f38d (fix-rfsm)
Author: Marcello Seri
Message: rfsm.1.6-alpha-3: add bound on lascar

View the changeset: https://github.com/mseri/opam-repository/compare/bcf44ec82a49...5f8f38dda243

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

--

You can unsubscribe from build emails from the mseri/opam-repository repository going to https://travis-ci.org/account/preferences/unsubscribe?repository=13493256&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/20190917/5d236e3b/attachment-0001.html>


More information about the Opam-commits mailing list