[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