diff options
-rw-r--r-- | .travis.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.travis.yml b/.travis.yml index 5c7fc5a33..86a2aea66 100644 --- a/.travis.yml +++ b/.travis.yml @@ -82,9 +82,6 @@ matrix: - TEST_TARGET="ci-coquelicot" - if: NOT (type = pull_request) env: - - TEST_TARGET="ci-cross-crypto" - - if: NOT (type = pull_request) - env: - TEST_TARGET="ci-elpi" EXTRA_OPAM="elpi" # ppx_tools_versioned requires a specific version findlib - FINDLIB_VER="" |