diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-02-14 17:09:45 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2018-02-19 17:46:51 +0100 |
| commit | 1dcf5516ab772a6d5325d42c2ceaf727fe88bb86 (patch) | |
| tree | a24c4ec3e89b2d7dc7805cbdf8e9d6c14d97bdc9 /.travis.yml | |
| parent | 06931bf4b193f978d43f30e22732b0122602ed53 (diff) | |
ci: add elpi
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.travis.yml b/.travis.yml index 19e7075f2..f4f01d2f0 100644 --- a/.travis.yml +++ b/.travis.yml @@ -76,6 +76,9 @@ matrix: - 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" - if: NOT (type = pull_request) env: |