diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-02-07 11:04:27 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-02-07 11:23:36 +0100 |
| commit | f8c1284a3f5454964aa3002575159b2c9c3df34c (patch) | |
| tree | a6165918778150325be47b94b03e6c3ae1772edf /.travis.yml | |
| parent | 27be8637d1f073c245c32aa7c336fb70e1b82c20 (diff) | |
[travis] Enable 32bit test-suite + validate.
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.travis.yml b/.travis.yml index 1dc08fb3d..7529870cd 100644 --- a/.travis.yml +++ b/.travis.yml @@ -13,6 +13,7 @@ addons: packages: - opam - aspcud + - gcc-multilib env: global: - NJOBS=2 @@ -20,7 +21,9 @@ env: - COMPILER="system" # Main test suites matrix: - - TEST_TARGET="validate" TW="travis_wait" + - TEST_TARGET="test-suite" COMPILER="4.02.3+32bit" + - TEST_TARGET="validate" TW="travis_wait" + - TEST_TARGET="validate" COMPILER="4.02.3+32bit" TW="travis_wait" - TEST_TARGET="ci-color" - TEST_TARGET="ci-compcert" - TEST_TARGET="ci-coquelicot" |