From 1dcf5516ab772a6d5325d42c2ceaf727fe88bb86 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 14 Feb 2018 17:09:45 +0100 Subject: ci: add elpi --- .travis.yml | 3 +++ 1 file changed, 3 insertions(+) (limited to '.travis.yml') diff --git a/.travis.yml b/.travis.yml index 19e7075f2..f4f01d2f0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -74,6 +74,9 @@ matrix: - if: NOT (type = pull_request) env: - TEST_TARGET="ci-coquelicot" + - if: NOT (type = pull_request) + env: + - TEST_TARGET="ci-elpi" EXTRA_OPAM="ppx_tools_versioned ppx_deriving ocaml-migrate-parsetree" - if: NOT (type = pull_request) env: - TEST_TARGET="ci-equations" -- cgit v1.2.3