[opam-commits] Errored: gares/opam-repository#19 (release-elpi-1.5.0 - bb565a0)

Travis CI builds at travis-ci.org
Fri Jul 5 13:23:55 BST 2019


Build Update for gares/opam-repository
-------------------------------------

Build: #19
Status: Errored

Duration: 33 mins and 33 secs
Commit: bb565a0 (release-elpi-1.5.0)
Author: Enrico Tassi
Message: [new release] elpi (1.5.0)

CHANGES:

Elpi 1.5 requires OCaml 4.04 or newer

- REPL:
  - type errors are considered fatal, pass `-no-tc` to skip type checking.
  - use dune subst in order to implement `-version` flag to the command line
    utility.

- Runtime:
  - reset unification variables names map at each execution. This makes
    the names of variable printed in a reproducible way across executions.

- FFI:
  - `readback` is now as powerful as `embed` and can generate extra goals. The
    two types are now dual.

View the changeset: https://github.com/gares/opam-repository/compare/5750de775a67^...bb565a004b76

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

--

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


More information about the Opam-commits mailing list