diff options
| -rw-r--r-- | .travis.yml | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/.travis.yml b/.travis.yml index c99a3db4e..22ae6b7aa 100644 --- a/.travis.yml +++ b/.travis.yml @@ -64,6 +64,17 @@ env: matrix: include: + - env: + - TEST_TARGET="lint" + install: [] + before_script: [] + addons: + apt: + sources: [] + packages: [] + script: + - dev/lint-repository.sh + # Full Coq test-suite with two compilers - env: - TEST_TARGET="test-suite" @@ -135,17 +146,6 @@ matrix: - avsm packages: *coqide-packages - - env: - - TEST_TARGET="lint" - install: [] - before_script: [] - addons: - apt: - sources: [] - packages: [] - script: - - dev/lint-repository.sh - - os: osx osx_image: xcode8.3 env: |