diff options
Diffstat (limited to '.travis.yml')
| -rw-r--r-- | .travis.yml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/.travis.yml b/.travis.yml index 4e937b50f..c99a3db4e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -135,8 +135,7 @@ matrix: - avsm packages: *coqide-packages - - if: type = pull_request - env: + - env: - TEST_TARGET="lint" install: [] before_script: [] @@ -145,10 +144,7 @@ matrix: sources: [] packages: [] script: - - CUR_HEAD=${TRAVIS_COMMIT_RANGE%%...*} - - PR_HEAD=${TRAVIS_COMMIT_RANGE##*...} - - MERGE_BASE=$(git merge-base $CUR_HEAD $PR_HEAD) - - dev/lint-commits.sh $MERGE_BASE $PR_HEAD + - dev/lint-repository.sh - os: osx osx_image: xcode8.3 |